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