"An Implementation Technique for a Class of Bottom-Up Procedures."

Andrei Voronkov (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics