A Graph-based Strategy for the Selection of Hypotheses (2007)

by Jean-François Couchot, Thierry Hubert
Venue:In FTP 2007 - International Workshop on First-Order Theorem Proving