Shallow models for non-iterative modal logics

@inproceedings{pub3861,
    author = {

Schröder, Lutz
 and 

Pattinson, Dirk
},
    editor = {

Dengel, Andreas
 and 

Berns, Karsten
 and 

Breuel, Thomas
 and 

Bomarius, Frank
 and 

Roth-Berghofer, Thomas
},
    title = {Shallow models for non-iterative modal logics},
    booktitle = {Proc. German Conference on Artificial Intelligence (KI 2008). German Conference on Artificial Intelligence (KI-2008), 31st Annual German Conference on AI, September 23-26, Kaiserslautern, Germany},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {2008},
    volume = {5243},
    pages = {324--331},
    publisher = {Springer},
    note = {To appear}
}