Bounded-Horizon Success-Complete Restriction of Inference Programs

Michel Sintzoff. Bounded-Horizon Success-Complete Restriction of Inference Programs. In ICLP. pages 139-150, 1984.