Haruhiko Sato, Masahito Kurihara. Design and Implementation of Multi-Completion Procedures with Termination Checking. In Zoran Majkic, Michael Sipser, R. Radha, Daming Wei, editors, International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008. pages 33-40, ISRST, 2008.
Abstract is missing.