@inbook{1894ded8b4244d3e8f7ce8a471748187,
title = "Structural Resolution for Logic Programming",
abstract = "We introduce a Three Tier Tree Calculus (T3C) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use T3C to define a new - structural - version of resolution for logic programming.",
keywords = "Structural resolution, term trees, rewriting trees, derivation trees",
author = "Patricia Johann and Ekaterina Komendantskaya and Vladimir Komendantskiy",
year = "2015",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
editor = "{De Vos}, Marina and Thomas Eiter and Yuliya Lierler and Francesca Toni",
booktitle = "Technical Communications of ICLP 2015",
note = "31st International Conference on Logic Programming 2015, ICLP 2015 ; Conference date: 31-08-2015 Through 04-09-2015",
}