The following publications are possibly variants of this publication:
- Tyrolean Termination ToolNao Hirokawa, Aart Middeldorp. RTA 2005: 175-184 [doi]
- Tyrolean termination tool: Techniques and featuresNao Hirokawa, Aart Middeldorp. iandc, 205(4):474-511, 2007. [doi]
- Tsukuba Termination ToolNao Hirokawa, Aart Middeldorp. RTA 2003: 311-320 [doi]
- Termination Tools in Ordered CompletionSarah Winkler, Aart Middeldorp. cade 2010: 518-532 [doi]
- AC Completion with Termination ToolsSarah Winkler, Aart Middeldorp. cade 2011: 492-498 [doi]
- Multi-completion with Termination Tools (System Description)Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp. cade 2008: 306-312 [doi]