Suspension Analysis for Concurrent Logic Programs.

Michael Codish Moreno Falaschi Kim Marriott Suspension Analysis for Concurrent Logic Programs. 331-345 1991 ICLP db/conf/iclp/iclp91.html#CodishFM91