On Gaining Efficiency in Completion-Based Theorem Proving (1996)

Cached

Download Links

by Thomas Hillenbrand , Arnim Buch , Roland Fettig
Venue:Proc. of the 7th RTA, New Brunswick, volume 1103 of LNCS
Citations:11 - 0 self