@inproceedings{
    OJ04:lpnmr,
    editor = {Lifschitz, Vladimir and Niemel{\"a}, Ilkka},
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    publisher = "Springer-Verlag",
    title = "Verifying the Equivalence of Logic Programs in the Disjunctive Case",
    url = "http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2923&spage=180",
    booktitle = "Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning",
    address = "Fort Lauderdale, Florida",
    note = "LNAI 2923",
    flags = "copy,SA-53695",
    year = "2004",
    pages = "180--193"
}