@inproceedings{BucciarelliEhrhard,
    Author = {Bucciarelli, A. and Ehrhard, T.},
    BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on},
    File = {Sequentiality and strong stability - Bucciarelli, Ehrhard (0) (0) - a - a - x.pdf},
    Keywords = {stable models},
    Pages = {138-145},
    Title = {Sequentiality and strong stability},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151638},
    date-added = {2013-04-11 08:21:35 +0000},
    date-modified = {2013-04-11 08:21:43 +0000},
    doi = {10.1109/LICS.1991.151638}
}

@inproceedings{BucciarelliEhrhard, Author = {Bucciarelli, A. and Ehrhard, T.}, BookTitle = {Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on}, File = {Sequentiality and strong stability - Bucciarelli, Ehrhard (0) (0) - a - a - x.pdf}, Keywords = {stable models}, Pages = {138-145}, Title = {Sequentiality and strong stability}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1991.151638}, date-added = {2013-04-11 08:21:35 +0000}, date-modified = {2013-04-11 08:21:43 +0000}, doi = {10.1109/LICS.1991.151638} }