@inproceedings{
    JarvisaloO:ICLP07,
    editor = {Dahl, Ver\'onica and Niemel\"a, Ilkka},
    author = {J\"arvisalo, Matti and Oikarinen, Emilia},
    publisher = "Springer",
    title = "Extended {ASP} Tableaux and Rule Redundancy in Normal Logic Programs",
    url = "http://www.tcs.hut.fi/~mjj/publications.shtml",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007)",
    volume = "4670",
    flags = "ACPT public",
    year = "2007",
    onlinenote = "Received ICLP 2007 Best Student Paper Award",
    pages = "134--148"
}