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 FTP 2009 Workshop Proceedings (pp. 90-104).