"A Message Passing Framework for Logical Query Evaluation."

Allen Van Gelder (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics