Theorem Proving in Large Theories (1998)

by Wolfgang Reif , Gerhard Schellhorn
Venue:IN PROC. FTP’97
Citations:27 - 5 self