"Diagnosing Non-Well-Moded Concurrent Logic Programs."

Kenta Cho, Kazunori Ueda (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics