@inproceedings{
    JO02:jelia,
    editor = "Flesca, Sergio and others",
    author = "Janhunen, Tomi and Oikarinen, Emilia",
    publisher = "Springer-Verlag",
    title = "Testing the Equivalence of Logic Programs under Stable Model Semantics",
    url = "http://www.tcs.hut.fi/~ttj/publications/",
    booktitle = "Logics in Artificial Intelligence, Proceedings of the 8th European Conference",
    address = "Cosenza, Italy",
    month = "September",
    note = "LNAI 2424",
    flags = "SA-53695",
    year = "2002",
    pages = "493--504"
}