Multi-completion with Termination Tools (System Description).

Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp

Browse the full CADE paper archive.