Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Fermüller, C. G., Leitsch, A., Hustadt, U., & Tammet, T. (2001). Resolution Decision Procedures. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1793-1849). Amsterdam, the Netherlands: Elsevier.