Resolution methods for the decision problem (1993)

by C Fermüller, A Leitsch, T Tammet, N Zamov
Venue:Lecture Notes in Computer Science