System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. - Markus Bender; Björn Pelzer; Claudia Schon (CADE, 2013)

Reasoning with Sets and Sums of Sets. - Markus Bender (SMT@IJCAR, 2016)

Decision Procedures for Theories of Sets with Measures. - Markus Bender; Viorica Sofronie-Stokkermans (CADE, 2017)