Kruglov, Evgeny Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Kruglov, E., & Weidenbach, C. (2012). Superposition Decides the First-order Logic Fragment Over Ground Theories. Mathematics in Computer Science, 6(4), 427-456. doi:10.1007/s11786-012-0135-4.