Emanuel Knill, Philip T. Cox, Tomasz Pietrzykowski. Equality and Abductive Residua for Horn Clauses. Theoretical Computer Science, 120(1):1-44, 1993.
@article{KnillCP93,
title = {Equality and Abductive Residua for Horn Clauses},
author = {Emanuel Knill and Philip T. Cox and Tomasz Pietrzykowski},
year = {1993},
researchr = {https://researchr.org/publication/KnillCP93},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {120},
number = {1},
pages = {1-44},
}