User:Doctus/Proof-trees

Sorry I dont have time to write the article but a good reference I was looking at earlyer today is in these coarse notes where they are known as truth trees. Also from my understanding allthough not mentioned directly they seem to be the basis behind resolution theorum proving which is explained in Chapter 12.2 of Artificial Intelligence: Structures and Stratergies for Complex Problem Solving (4th Edition) by George F Luger.