Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy. Structural Resolution for Logic Programming. In Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni, editors, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
@inproceedings{JohannKK15,
title = {Structural Resolution for Logic Programming},
author = {Patricia Johann and Ekaterina Komendantskaya and Vladimir Komendantskiy},
year = {2015},
url = {http://ceur-ws.org/Vol-1433/tc_22.pdf},
researchr = {https://researchr.org/publication/JohannKK15},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015},
editor = {Marina De Vos and Thomas Eiter and Yuliya Lierler and Francesca Toni},
volume = {1433},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}