Multilanguage first order theories of propositional attitudes (1991)

by F Giunchiglia, L Serafini
Venue:In Proceedings 3rd Scandinavian Conference on Artificial Intelligence