Luís Moniz Pereira, Alexandre Miguel Pinto. Approved Models for Normal Logic Programs. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 454-468, Springer, 2007. [doi]
@inproceedings{PereiraP07:1,
title = {Approved Models for Normal Logic Programs},
author = {Luís Moniz Pereira and Alexandre Miguel Pinto},
year = {2007},
doi = {10.1007/978-3-540-75560-9_33},
url = {http://dx.doi.org/10.1007/978-3-540-75560-9_33},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/PereiraP07%3A1},
cites = {0},
citedby = {0},
pages = {454-468},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings},
editor = {Nachum Dershowitz and Andrei Voronkov},
volume = {4790},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75558-6},
}