Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction.
VenueBICLP
Year1991
ProceedingsICLP Workshop on Construction of Logic Programs
DBLP recordconf/iclp/Fribourg91 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.