Modularity in Answer Set Programs

Reference:

Emilia Oikarinen. Modularity in Answer Set Programs. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D7, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008.

Suggested BibTeX entry:

@phdthesis{OikarinenDoc,
    address = {Espoo, Finland},
    author = {Emilia Oikarinen},
    school = {Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science},
    title = {Modularity in Answer Set Programs},
    type = {Doctoral dissertation, {TKK} {D}issertations in {I}nformation and {C}omputer {S}cience {TKK-ICS-D7}},
    year = {2008},
}

See lib.tkk.fi ...