Home
DCC eCatalog
W.__Marek
A Theory of Nonmonotonic Rule Systems
Stable theories in autoepistemic logic
