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

by J Avenhaus, T Hillenbrand, B Löchner
Venue:Proceedings of the 3rd International Workshop on First Order Theorem Proving