Login / Signup

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

Domenico CantoneMarianna Nicolosi Asmundo
Published in: FTP (LNCS Selection) (1998)
Keyphrases