Lamotte-Schubert, Manuel Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Lamotte-Schubert, M., & Weidenbach, C. (2013). BDI: A New Decidable First-order Clause Class. In K. McMillan, A. Middeldorp, G. Sutcliffe, & A. Voronkov (Eds.), LPAR-19 (pp. 62-74). Manchester, UK: EasyChair.