Contextual Rewriting in SPASS.

Christoph Weidenbach Patrick Wischnewski

Published in: PAAR/ESHOL (2008)

Keyphrases

contextual information
theorem prover
rewrite rules
context sensitive
rewriting rules
data sets
query rewriting
termination analysis
conjunctive queries
regular expressions
regular path queries
rewriting systems