Analytic Tableaux for all of SIXTEEN 3
Crossref DOI link: https://doi.org/10.1007/s10992-014-9337-3
Published Online: 2014-12-04
Published Print: 2015-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Muskens, Reinhard
Wintein, Stefan
Text and Data Mining valid from 2014-12-04