Dreßler, Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Dreßler, C. (2009). Automatic Analysis of Tree-Based Feature Models with SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.