A Tableau-Based Characterisation for Default Logic

Cite this paper

@inproceedings{Schwind1991ATC, title={A Tableau-Based Characterisation for Default Logic}, author={Camilla Schwind and Vincent Risch}, booktitle={ECSQARU}, year={1991} }