A new decidability technique for ground term rewriting systems with applications.

Rakesh M. Verma Ara Hayrapetyan

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

term rewriting systems
logic programs
functional programs
description logics
query answering
definite clause
high level
relational databases
general purpose