Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Wischnewski, Patrick Automation of Logic, MPI for Informatics, Max Planck Society;
MPI-I-2009-RG1-002.pdf (beliebiger Volltext), 283KB
Weidenbach, C., & Wischnewski, P.(2009). Contextual Rewriting (MPI-I-2009-RG1-002).