AC Completion with Termination Tools

Lecture Notes in Computer Science - Automated Deduction – CADE-23 ◽

10.1007/978-3-642-22438-6_37 ◽

2011 ◽

pp. 492-498 ◽

Cited By ~ 1

Author(s):

Sarah Winkler ◽

Aart Middeldorp

Download Full-text