The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps.

Geoff Sutcliffe, Stephan Schulz

Browse the full LPAR paper archive.