Proof Procedure based on Modified Analytic Tableaux
Sawamura, Hajime;Maeda, Takashi;Kawaguchi, Michiaki
Permalink :
http://hdl.handle.net/2115/37955
FULL TEXT :
PDF