From Paramodulation to Narrowing

Steffen Hölldobler. From Paramodulation to Narrowing. In ICLP/SLP. pages 327-342, 1988.

Abstract

Abstract is missing.