TFF1: The TPTP typed first-order form with rank-1 polymorphism

by Jasmin Christian Blanchette , Andrei Paskevich
Citations:4 - 3 self