"Structural Resolution for Logic Programming."

Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics