Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling.

Samir Genaim Andy King Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. 84-98 2003 conf/esop/2003 ESOP http://link.springer.de/link/service/series/0558/bibs/2618/26180084.htm db/conf/esop/esop2003.html#GenaimK03