Vincent Risch, Camilla Schwind. Tableaux-Based Characterization and Theorem Proving for default Logic. Journal of Automated Reasoning, 13(2):223-242, 1994.
@article{RischS94,
title = {Tableaux-Based Characterization and Theorem Proving for default Logic},
author = {Vincent Risch and Camilla Schwind},
year = {1994},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/RischS94},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {13},
number = {2},
pages = {223-242},
}