DMCA

From Functional Specifications to Logic Programs (1997)

by Michael Gelfond , Alfredo Gabaldon
Venue:IN PROCEEDINGS OF THE INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM (ILPS’97
Citations:7 - 5 self