TSTP Data-Exchange Formats for Automated Theorem Proving Tools (2004)

by Geoff Sutcliffe , Jürgen Zimmer , Stephan Schulz
Citations:30 - 10 self