Guohua Liu. Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs. 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 444-449, Springer, 2009. [doi]
@inproceedings{Liu09-13,
title = {Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs},
author = {Guohua Liu},
year = {2009},
doi = {10.1007/978-3-642-04238-6_40},
url = {http://dx.doi.org/10.1007/978-3-642-04238-6_40},
tags = {constraints},
researchr = {https://researchr.org/publication/Liu09-13},
cites = {0},
citedby = {0},
pages = {444-449},
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},
}