Natural Rewriting for General Term Rewriting Systems.

Santiago Escobar José Meseguer Prasanna Thati

Published in: LOPSTR (2004)

Keyphrases

term rewriting systems
special case
real world
high level
data streams
management system
incomplete information
conjunctive queries