Contextual Rewriting in SPASS.

Christoph Weidenbach, Patrick Wischnewski

Browse the full CADE paper archive.