Many-Sorted Resolution and Paramodulation

• 1 January 1987
• book chapter
• Published by Elsevier
• p. 11-33
• https://doi.org/10.1016/b978-0-273-08718-2.50007-9

Abstract