Computing with first-order logic (1995)

by S Abiteboul, V Vianu
Venue:J. Comput. Syst. Sci