doi dblp The Relational Data File and the Decision Problem for Classes of Proper Formulas Robert A. Di Paola ACM SIGIR Information Storage and Retrieval Symposium, College Park, Maryland, USA, April 1-2, 1971, Proceeding