A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.

Domenico Cantone Marianna Nicolosi Asmundo A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. 31-56 2007 38 J. Autom. Reasoning 1-3 http://dx.doi.org/10.1007/s10817-006-9045-y db/journals/jar/jar38.html#CantoneA07