On Using Ground Joinable Equations in Equational Theorem Proving (2000)

by J. Avenhaus , T. Hillenbrand , B. Löchner
Venue:PROC. OF THE 3RD FTP, ST. ANDREWS, SCOTTLAND, FACHBERICHTE INFORMATIK. UNIVERSITAT KOBLENZ-LANDAU
Citations:10 - 2 self