"Rule Rewriting Methods for Efficient Implementations of Horn Logic."

Carlo Zaniolo, Domenico Saccà (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics