@article{1a4cb4ce145d4473bed95599f4eca054,
title = "Theorema: Towards Computer-Aided Mathematical Theory Exploration",
author = "Bruno Buchberger and Adrian Craciun and Tudor Jebelean and Laura Kovacs and Koji Nakagawa and Wolfgang Windsteiger and Florina Piroi and Nikolaj Popov and Judit Robu and Markus Rosenkranz and Teimuraz Kutsia",
year = "2006",
month = dec,
doi = "10.1016/j.jal.2005.10.006",
language = "English",
volume = "4",
pages = "470--504",
journal = "Journal of Applied Logic",
issn = "1570-8683",
number = "4",
}