Tableau, Tableauresolution und Tableaugraphresolution ein neuer Weg zur automatischen Deduktion - Li, Wanlin (Europäische Hochschulschriften / 41, 1991)