Mechanicalverification of a rule-based unification algorithm in the Boyer-Moore theorem prover (1999)

by J L Ruiz-Reina, J A Alonso, M J Hidalgo, F J Mart'in
Venue:In AGP'99 Joint Conference on Declarative Programming,pages