Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction.

Laurent Fribourg

Browse the full ICLP paper archive.