Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov (2006)

by Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovacs
Venue:Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger, Theorema: Towards Computer−Aided Mathematical Theory Exploration, Journal of Applied Logic