On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic
@inproceedings{Aut-05-b, author = {Autexier, Serge}, editor = {Beckert, Bernhard}, booktitle = {Proceedings of Tableaux 2005}, title = {On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic}, volume = {3702}, series = {LNAI}, publisher = {Springer}, address = {Koblenz, Germany}, month = {september}, year = {2005}, }