File:CompSciLogicSuccessfulTree.png

computer science logic: successful resolution refutation tree