A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.

Domenico Cantone Marianna Nicolosi Asmundo A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. 109-125 http://link.springer.de/link/service/series/0558/bibs/1761/17610109.htm 1998 conf/ftp/1998 FTP (LNCS Selection) db/conf/ftp/ftp-lncs1998.html#CantoneA98