"The Relational Data File and the Decision Problem for Classes of Proper ..."

Robert A. Di Paola (1971)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics