Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
First-Order Loop Formulas for Normal Logic Programs
KR, 2006.
@inproceedings{KR-2006-ChenLWZ,
author = "Yin Chen and Fangzhen Lin and Yisong Wang and Mingyi Zhang",
booktitle = "{Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning}",
ee = "http://www.aaai.org/Library/KR/2006/kr06-032.php",
isbn = "978-1-57735-271-6",
pages = "298--307",
publisher = "{AAAI Press}",
title = "{First-Order Loop Formulas for Normal Logic Programs}",
year = 2006,
}