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},
}