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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Downloads (Pure)

Original language	Unknown
Title of host publication	MIT PRESS SERIES IN LOGIC PROGRAMMING
Pages	424-438
Publication status	Published - 1 Jan 1994
Event	Logic Programming Symposium - Duration: 1 Jan 1994 → …

Conference	Logic Programming Symposium
Period	1/01/94 → …

Access to Document

@inproceedings{2c6c725ca89a4df19cb167d8f649b17b,

title = "SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION",

author = "Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas} and Alferes, {Jos{\'e} J{\'u}lio Alves}",

year = "1994",

month = jan,

day = "1",

language = "Unknown",

isbn = "0-262-52191-1",

pages = "424--438",

booktitle = "MIT PRESS SERIES IN LOGIC PROGRAMMING",

note = "Logic Programming Symposium ; Conference date: 01-01-1994",

}