Argument filterings and usable rules in higher-order rewrite systems

Sho Suzuki Keiichirou Kusakari Frédéric Blanqui

Published in: CoRR (2011)

Keyphrases

database applications
higher order
rewrite systems
active rules
object oriented
database
term rewriting
knuth bendix
pairwise
active databases
quantifier free
artificial intelligence
production rules
information systems
software engineering
business rules