Klaus Schneider, Ramayya Kumar, Thomas Kropf. Accelerating Tableaux Proofs Using Compact Representations. Formal Methods in System Design, 5(1/2):145-176, 1994.
@article{SchneiderKK94:1,
title = {Accelerating Tableaux Proofs Using Compact Representations},
author = {Klaus Schneider and Ramayya Kumar and Thomas Kropf},
year = {1994},
researchr = {https://researchr.org/publication/SchneiderKK94%3A1},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {5},
number = {1/2},
pages = {145-176},
}