Andreas Wolf. Optimization and Translation of Tableau-Proofs into Resolution. Elektronische Informationsverarbeitung und Kybernetik, 30(5/6):311-325, 1994.
@article{Wolf94:1,
title = {Optimization and Translation of Tableau-Proofs into Resolution},
author = {Andreas Wolf},
year = {1994},
tags = {optimization, translation},
researchr = {https://researchr.org/publication/Wolf94%3A1},
cites = {0},
citedby = {0},
journal = {Elektronische Informationsverarbeitung und Kybernetik},
volume = {30},
number = {5/6},
pages = {311-325},
}