Computing with first-order logic (1995)

by Serge Abiteboul, Victor Vianu
Venue:Journal of Computer and System Sciences