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

Laurent Fribourg, Hans Olsn

Browse the full LOPSTR paper archive.