ExpTime Tableau Decision Procedures for Regular Grammar Logics With Converse
Studia Logica - Netherlands
doi 10.1007/s11225-011-9341-3
Full Text
Open PDFAbstract
Available in full text
Date
August 1, 2011
Authors
Publisher
Springer Science and Business Media LLC