Lamotte-Schubert, Manuel Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Link (beliebiger Volltext)
Lamotte-Schubert, M., & Weidenbach, C. (2017). BDI: A New Decidable Clause Class. Journal of Logic and Computation, 27(2), 441-468. doi:10.1093/logcom/exu074.