"Exploiting Efficient Control and Data Structures in Logic Programs."

Rong Yang, Steve Gregory (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics