AC Completion with Termination Tools

Sarah Winkler and Aart Middeldorp
Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), Lecture Notes in Artificial Intelligence 6803, pp. 492 – 498, 2011.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-22438-6_37  
© Springer