SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Downloads (Pure)
Original languageUnknown
Title of host publicationMIT PRESS SERIES IN LOGIC PROGRAMMING
Pages424-438
Publication statusPublished - 1 Jan 1994
EventLogic Programming Symposium -
Duration: 1 Jan 1994 → …

Conference

ConferenceLogic Programming Symposium
Period1/01/94 → …

Cite this