Skip to content

Automatic Compilation of Logical Specifications into Efficient Programs.

Donald Cohen

VenueA*AAAI
Year1986
ProceedingsAAAI

Browse the full AAAI paper archive.