"Behavior of Database Production Rules: Termination, Confluence, and ..."

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics