@book {IOPORT.20007507,
    editor       = {De Vos, Marina and Provetti, Alessandro},
    title        = {Answer set programming, advances in theory and implementation, Proceedings of the 3rd intl. ASP'05 workshop, Bath, UK, September 27-29, 2005},
    year         = {2005},
    publisher    = {CEUR-WS.org},
    identifier   = {20007507},
}