Nicolas Peltier. A Resolution Calculus with Shared Literals. Fundamenta Informaticae, 76(4):449-480, 2007. [doi]
@article{Peltier07:0,
title = {A Resolution Calculus with Shared Literals},
author = {Nicolas Peltier},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=76&issue=4&spage=449},
researchr = {https://researchr.org/publication/Peltier07%3A0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {76},
number = {4},
pages = {449-480},
}