Wanlin Li. Tableau, Tableauresolution und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion. PhD thesis, Karlsruhe Institute of Technology, Germany, 1991. [doi]
@phdthesis{dnb-11099,
title = {Tableau, Tableauresolution und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion},
author = {Wanlin Li},
year = {1991},
url = {http://d-nb.info/910762775},
researchr = {https://researchr.org/publication/dnb-11099},
cites = {0},
citedby = {0},
school = {Karlsruhe Institute of Technology, Germany},
}