A Satisfiability Encoding of Dependency Pair Techniques for Maximal Completion

Haruhiko Sato and Sarah Winkler
Proceedings of the 14th International Workshop on Termination (WST 2014),   pp. 80 – 84, 2014.

abstract   BibTeX   PDF