@inproceedings{RISC5738,author = {David M. Cerna},
title = {{A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata}},
booktitle = {{Intelligent Computer Mathematics - International Conference, {CICM} 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings}},
language = {english},
pages = {61--75},
isbn_issn = {10.1007/978-3-319-08434-3\_6},
year = {2014},
editor = {Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban},
refereed = {yes},
length = {15},
conferencename = {CICM}
}