Title: A compiled inference approach to the integration of logic and relational database systems
First published: 1993