Resolution methods for the decision problem
Fermüller, C.
;
Leitsch, A.
;
Tammet, Tanel
;
Zamov, N.
1993
https://link.springer.com/book/10.1007/3-540-56732-1