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

by F Giunchiglia, L Serafini
Venue:Artificial Intelligence