Skip to content

Enumeration of Success Patterns in Logic Programs.

Taisuke Sato, Hisao Tamaki

VenueA*ICALP
Year1983
ProceedingsICALP

Browse the full ICALP paper archive.