@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",
    unitcode = "T3060=99,T312=1",
    impactfactor = "A4",
    pages = "161--173"
}