Skip to content

On Normal Forms and Equivalence for Logic Programs.

James Harland

VenueBICLP
Year1992
ProceedingsJICSLP

Browse the full ICLP paper archive.