Skip to content

A Clausal Form for the Completion of Logic Programs.

James Harland

VenueBICLP
Year1991
ProceedingsICLP

Browse the full ICLP paper archive.