Stenz, Gernot Programming Logics, MPI for Informatics, Max Planck Society;
Letz, R., & Stenz, G. (2003). Universal variables in disconnection tableaux. In Automated reasoning with analytical tableaux and related methods: International Conference, TABLEAUX 2003 (pp. 117-133). Berlin, Germany: Springer.