Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion.

Haruhiko Sato, Sarah Winkler

Browse the full CADE paper archive.