Wanlin Li. Tableau, Tableauresolution und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion. PhD thesis, Karlsruhe Institute of Technology, Germany, 1991. [doi]
No references recorded for this publication.
No citations of this publication recorded.