Structural Resolution for Logic Programming. - Patricia Johann; Ekaterina Komendantskaya; Vladimir Komendantskiy (ICLP (Technical Communications), 2015)