Proof Search in Propositional Circumscription and Default Logic

TitleProof Search in Propositional Circumscription and Default Logic
Publication TypePhD Thesis
Year of Publication2013
AuthorsBrambilla, P
URLhttp://www.iam.unibe.ch/ltgpub/2013/bra13.pdf