A Tableau Calculus for Minimal Model Reasoning

Tutkimustuotos: Työpaperi › Working paper › Professional

Alkuperäiskieli	Englanti
Julkaisupaikka	Koblenz, Germany
Tila	Julkaistu - 1996
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

OpenUrl-saatavuus

@techreport{5be3d5e3464c40919359bfd898b93551,

title = "A Tableau Calculus for Minimal Model Reasoning",

author = "Ilkka Niemel{\"a}",

year = "1996",

language = "English",

series = "Fachbericht Informatik",

publisher = "Universit{\"a}t Koblenz-Landau",

number = "5-96",

type = "WorkingPaper",

institution = "Universit{\"a}t Koblenz-Landau",

}