Bernhard Beckert Semantic Tableaux with Equality. 39-58 1997 7 J. Log. Comput. 1 db/journals/logcom/logcom7.html#Beckert97