Li Dafa Automated Natural Deduction Prover and Experiments. 153-157 1997 conf/tableaux/1997 TABLEAUX db/conf/tableaux/tableaux97.html#Dafa97