Resolution methods for the decision problem - Fermuller C (Berlin Springer-Verlag, 1993)
Keywords: Mathematical logic; Mathematics-decidability