APA (7th ed.) Citation

Li, W. (1991). Tableau, Tableauresolution und Tableaugraphresolution: Ein neuer Weg zur automatischen Deduktion. Lang.

Chicago Style (17th ed.) Citation

Li, Wanlin. Tableau, Tableauresolution Und Tableaugraphresolution: Ein Neuer Weg Zur Automatischen Deduktion. Frankfurt am Main u.a: Lang, 1991.

MLA (9th ed.) Citation

Li, Wanlin. Tableau, Tableauresolution Und Tableaugraphresolution: Ein Neuer Weg Zur Automatischen Deduktion. Lang, 1991.