Termination of Logic Programs with block Declarations Running in Several Modes.

Jan-Georg Smaus Patricia M. Hill Andy King Termination of Logic Programs with block Declarations Running in Several Modes. 73-88 http://link.springer.de/link/service/series/0558/bibs/1490/14900073.htm 1998 conf/plilp/1998 PLILP/ALP db/conf/plilp/plilp98.html#SmausHK98