Tableau, Tableauresolution und Tableaugraphresolution ein neuer Weg zur automatischen Deduktion - Li, Wanlin (Lang, 1991)