Resolution Graphs. - Robert A. Yates; Bertram Raphael; Timothy P. Hart (Artif. Intell., 1970)