Peter Padawitz. Reduction and Narrowing for Horn Clause Theories. Comput. J., 34(1):42-51, 1991.
@article{Padawitz91, title = {Reduction and Narrowing for Horn Clause Theories}, author = {Peter Padawitz}, year = {1991}, researchr = {https://researchr.org/publication/Padawitz91}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {34}, number = {1}, pages = {42-51}, }