Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Wischnewski, Patrick Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, C., & Wischnewski, P. (2008). Contextual Rewriting in SPASS. In B. Konev, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2008/ESHOL-2008: First International Workshop on Practical Aspects of Automated Reasoning (pp. 115-124). RHTW Aachen: CEUR-WS.org.