Joohyung Lee, Ravi Palla. System f2lp - Computing Answer Sets of First-Order Formulas. In Esra Erdem, Fangzhen Lin, Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Volume 5753 of Lecture Notes in Computer Science, pages 515-521, Springer, 2009. [doi]
@inproceedings{LeeP09-1,
title = {System f2lp - Computing Answer Sets of First-Order Formulas},
author = {Joohyung Lee and Ravi Palla},
year = {2009},
doi = {10.1007/978-3-642-04238-6_51},
url = {http://dx.doi.org/10.1007/978-3-642-04238-6_51},
researchr = {https://researchr.org/publication/LeeP09-1},
cites = {0},
citedby = {0},
pages = {515-521},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub},
volume = {5753},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04237-9},
}