Wischnewski, Patrick Automation of Logic, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
Wischnewski, P. (2007). Contextual Rewriting in SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.