Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm (1999)
AUTHORS:
Niemelä Ilkka
JOURNAL:
Annals of Mathematics and Artificial Intelligence
VOLUME:
25
PAGES:
241--273
@article{ Niemela99:amai, author = {Niemel{\"a}, Ilkka}, note = "", title = "Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm", journal = "Annals of Mathematics and Artificial Intelligence", number = "3,4", month = "", volume = "25", year = "1999", pages = "241--273" }