Steffen Hölldobler. From Paramodulation to Narrowing. In ICLP/SLP. pages 327-342, 1988.
@inproceedings{Holldobler88:0,
title = {From Paramodulation to Narrowing},
author = {Steffen Hölldobler},
year = {1988},
researchr = {https://researchr.org/publication/Holldobler88%3A0},
cites = {0},
citedby = {0},
pages = {327-342},
booktitle = {ICLP/SLP},
}