Michel Sintzoff Bounded-Horizon Success-Complete Restriction of Inference Programs. 139-150 1984 ICLP db/conf/iclp/iclp84.html#Sintzoff84