Li, W. (1991). Tableau, Tableauresolution und Tableaugraphresolution: Ein neuer Weg zur automatischen Deduktion. Lang.
Chicago-Zitierstil (17. Ausg.)Li, Wanlin. Tableau, Tableauresolution Und Tableaugraphresolution: Ein Neuer Weg Zur Automatischen Deduktion. Frankfurt am Main u.a: Lang, 1991.
MLA-Zitierstil (9. Ausg.)Li, Wanlin. Tableau, Tableauresolution Und Tableaugraphresolution: Ein Neuer Weg Zur Automatischen Deduktion. Lang, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.