@ARTICLE{MPB-AM:IA50:AR,
AUTHOR = "Maria Paola Bonacina and Alberto Martelli",
TITLE = "Automated reasoning",
JOURNAL = "Intelligenza Artificiale",
VOLUME = 3,
NUMBER = "1--2",
PAGES = "14--20",
MONTH = "June",
YEAR = 2006,
NOTE = "Special issue on Artificial Intelligence 50th Anniversary 1956--2006,
edited by Luigia Carlucci Aiello et al."
}