A Unifying View of Structural Induction and Computation Induction for Logic Programs.

Laurent Fribourg Hans Olsén A Unifying View of Structural Induction and Computation Induction for Logic Programs. 46-60 1992 LOPSTR db/conf/lopstr/lopstr92.html#FribourgO92