Multilanguage hierarchical logics (or: How we can do without modal logics (1994)

by F Giunchiglia, L Seratini
Venue:Artificial Intelligence