Computing With First-Order Logic (1995)

by Serge Abiteboul, Victor Vianu