"Logic Programming as Hypergraph Rewriting."

Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics