Stefan Klingenbeck Generating Finite Counter Examples with Semantic Tableaux. 31-46 1995 conf/tableaux/1995 TABLEAUX db/conf/tableaux/tableaux95.html#Klingenbeck95