"Lemmatization for Stronger Reasoning in Large Theories."

Cezary Kaliszyk, Josef Urban, Jirí Vyskocil (2015)
maintained by Schloss Dagstuhl LZI, founded at University of Trier