Strong Equivalence of Logic Programs with Abstract Constraint Atoms (2011)
AUTHORS:
Liu Guohua,
Goebel Randy,
Janhunen Tomi
,
Niemelä Ilkka
,
You Jia-Huai
BOOKTITLE:
Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning
SERIES:
Lecture Notes in Computer Science
VOLUME:
6645
PAGES:
161--173
@inproceedings{ LGJNY11:lpnmr, editor = "Delgrande, James and Faber, Wolfgang", author = {Liu, Guohua and Goebel, Randy and Janhunen, Tomi and Niemel{\"a}, Ilkka and You, Jia-Huai}, publisher = "Springer", title = "Strong Equivalence of Logic Programs with Abstract Constraint Atoms", series = "Lecture Notes in Computer Science", booktitle = "Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning", address = "Vancouver, British Columbia, Canada", corerank = "A", month = "May", volume = "6645", flags = "copy MCM HIIT", year = "2011", impactfactor = "D3", pages = "161--173" }