Refutational theorem proving using term-rewriting systems (1985)

by Jieh Hsiang
Venue:Artificial Intelligence