Structural Resolution for Logic Programming.

Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy

Browse the full ICLP paper archive.