@techreport{033ea46e16f24899950a30958fd8c539,
title = "Stratification and Tractability in Nonmonotonic Reasoning",
keywords = "autoepistemic logic, nonmonotonic reasoning, stratification, tractability, autoepistemic logic, nonmonotonic reasoning, stratification, tractability, autoepistemic logic, nonmonotonic reasoning, stratification, tractability",
author = "J. Rintanen",
year = "1992",
language = "English",
series = "Digital Systems Laboratory, Series A: Research Reports",
publisher = "Helsinki University of Technology",
number = "20",
type = "WorkingPaper",
institution = "Helsinki University of Technology",
}