TCS / Research / Publications / Implementing Circumscription Using a Tableau Method
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Implementing Circumscription Using a Tableau Method

Reference:

Ilkka Niemelä. Implementing circumscription using a tableau method. Fachbericht Informatik 6–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.

Suggested BibTeX entry:

@techreport{Niemela:FB96NR6,
    author = {Ilkka Niemel{\"a}},
    institution = {Universit{\"a}t Koblenz-Landau},
    note = {Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}},
    number = {6--96},
    title = {Implementing Circumscription Using a Tableau Method},
    type = {Fach\-be\-richt Informatik},
    year = {1996},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.