Efficient Implementation of the Well-founded and Stable Model Semantics (1996)
AUTHORS:
Niemelä Ilkka
,
Simons P.
BOOKTITLE:
Proceedings of the Joint International Conference and Symposium on Logic Programming
PAGES:
289--303
@inproceedings{ NS96:jicslp, editor = "Maher, M.", author = {Niemel{\"a}, Ilkka and Simons, P.}, publisher = "The MIT Press", title = "Efficient Implementation of the Well-founded and Stable Model Semantics", booktitle = "Proceedings of the Joint International Conference and Symposium on Logic Programming", address = "Bonn, Germany", month = "September", note = "", year = "1996", organization = "", pages = "289--303" }