Moshe Y. Vardi Querying Logical Databases. 142-160 1986 33 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss33.html#Vardi86