Reference:
Jussi Rintanen. Stratification and tractability in nonmonotonic reasoning. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1992.
Suggested BibTeX entry:
@mastersthesis{RintanenMsc,
author = {Rintanen, Jussi},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {Stratification and Tractability in Nonmonotonic Reasoning},
year = {1992},
}
|