BibTeX record conf/frocos/KaliszykUV15

download as .bib file

@inproceedings{DBLP:conf/frocos/KaliszykUV15,
  author    = {Cezary Kaliszyk and
               Josef Urban and
               Jir{\'{\i}} Vyskocil},
  title     = {Lemmatization for Stronger Reasoning in Large Theories},
  booktitle = {FroCos},
  series    = {Lecture Notes in Computer Science},
  volume    = {9322},
  pages     = {341--356},
  publisher = {Springer},
  year      = {2015}
}
maintained by Schloss Dagstuhl LZI at University of Trier