Lynch, Christopher Automation of Logic, MPI for Informatics, Max Planck Society;
Tran, Duc-Khanh Automation of Logic, MPI for Informatics, Max Planck Society;
Lynch, C., & Tran, D.-K. (2007). Automatic Decidability and Combinability Revisited. In F. Pfenning (Ed.), Automated Deduction – CADE-21: 21st International Conference on Automated Deduction (pp. 328-344). Berlin, Germany: Springer.