Skip to content

Deriving Constraints Among Argument Sizes in Logic Programs.

Allen Van Gelder

VenueA*PODS
Year1990
ProceedingsPODS

Browse the full PODS paper archive.