Lemmatization for Stronger Reasoning in Large Theories

Kaliszyk, C., Urban, J., Vyskočil, J.

KALISZYK, C., J. URBAN, and J. VYSKOČIL. Lemmatization for Stronger Reasoning in Large Theories. In: LUTZ, C. and S. RANISE, eds. Frontiers of Combining Systems. 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Wroclaw, 2015-09-20/2015-09-24. Cham: Springer International Publishing, 2015. p. 341-356. Lecture Notes in Computer Science. ISSN 0302-9743. ISBN 978-3-319-24245-3. DOI 10.1007/978-3-319-24246-0_21.

URL: http://link.springer.com/chapter/10.1007/978-3-319-24246-0_21