"First-order Predicate Logic as a Common Basis for Relational and ..."

Maarten H. van Emden (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics