A proof theoretical approach to default reasoning I: tableaux for default logic

From MaRDI portal
Publication:4880541