Theorem proving using equational matings and rigid E-unification
Gallier, Jean, Narendran, Paliath, Raatz, Stan, Snyder, WayneVolume:
39
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/128749.128754
Date:
April, 1992
File:
PDF, 3.46 MB
english, 1992