S. V. Reeves Adding Equality to Semantic Tableaux. 225-246 1987 3 J. Autom. Reasoning 3 db/journals/jar/jar3.html#Reeves87