Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Horbach, M. (2010). Disunification for Ultimately Periodic Interpretations. In E. M. Clarke, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 290-311). Berlin: Springer. doi:10.1007/978-3-642-17511-4_17.