Ildikó Sain
-
Beth Definability for the Guarded Fragment
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Representability of Pairing Relation Algebras Representability of Pairing Relation Algebras Depends on our Ontology
Fundamenta Informaticae
On propositional definability
Artificial Intelligence