Extracting logic programs from proofs that use extended Prolog execution and induction (1990)

by L Fribourg
Venue:Proceedings ICLP’90, 685–699