Analysis of Authorizations in SAP R/3. - Manuel Lamotte-Schubert; Christoph Weidenbach (FTP, 2009)

External Sources of Axioms in Automated Theorem Proving. - Martin Suda 001; Geoff Sutcliffe; Patrick Wischnewski; Manuel Lamotte-Schubert; Gerard de Melo (KI, 2009)

BDI: A New Decidable First-order Clause Class. - Manuel Lamotte-Schubert; Christoph Weidenbach (LPAR (short papers), 2013)

Automatic authorization analysis. - Manuel Lamotte-Schubert (2015)

BDI: a new decidable clause class. - Manuel Lamotte-Schubert; Christoph Weidenbach (J. Log. Comput., 2017)