"Program Dependence Analysis of Concurrent Logic Programs and Its Applications."

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics