Canonized Rewriting and Ground AC Completion Modulo Shostak Theories.

Sylvain Conchon Evelyne Contejean Mohamed Iguernelala

Published in: TACAS (2011)

Keyphrases

definite clause
rewrite rules
rewriting rules
theoretical framework
conjunctive queries
query rewriting
query optimization
constraint satisfaction
data exchange
constraint programming
arc consistency
formal models
legal knowledge
knuth bendix