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. (2009). Analysis of Authorizations in SAP R/3. In Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09) (pp. 90-104).