Skip to content

A Program Transformation for Backwards Analysis of Logic Programs.

John P. Gallagher

VenueCLOPSTR
Year2003
ProceedingsLOPSTR

Browse the full LOPSTR paper archive.