Bernhard Beckert. Semantic Tableaux with Equality. Journal of Logic and Computation, 7(1):39-58, 1997.
@article{Beckert97,
title = {Semantic Tableaux with Equality},
author = {Bernhard Beckert},
year = {1997},
researchr = {https://researchr.org/publication/Beckert97},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {7},
number = {1},
pages = {39-58},
}