"A Program Dependence Model for Concurrent Logic Programs and its Applications."

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