Ulrich Furbach Steffen Hölldobler Joachim F. Schreiber Linear Paramodulation modulo Equality. 107-116 1989 conf/ki/1989 GWAI db/conf/ki/gwai89.html#FurbachHS89 https://doi.org/10.1007/978-3-642-75100-4_13