Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion

Haruhiko Sato and Sarah Winkler
Proceedings of the 25th International Conference on Automated Deduction (CADE-25), Lecture Notes in Artificial Intelligence 9195, pp. 152 – 162, 2015.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-21401-6_10  
© Springer International Publishing Switzerland