Please use this identifier to cite or link to this item:
http://hdl.handle.net/10362/70209| Title: | SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION |
| Author: | Damásio, Carlos Augusto Isaac Piló Viegas Alferes, José Júlio Alves |
| Issue Date: | 1-Jan-1994 |
| Citation: | Damásio, C. A. I. P. V., & Alferes, J. J. A. (1994). SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION. In MIT PRESS SERIES IN LOGIC PROGRAMMING (pp. 424-438) https://dl.acm.org/citation.cfm?id=200652 |
| Peer review: | yes |
| URI: | https://dl.acm.org/citation.cfm?id=200652 |
| ISBN: | 0-262-52191-1 |
| Appears in Collections: | Home collection (FCT) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ilps94.pdf | 563,51 kB | Adobe PDF | View/Open |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
