Maria Paola Bonacina, Alberto Martelli. Automated Reasoning. Intelligenza Artificiale, 3(1-2):14-20, 2006.
@article{BonacinaM06,
title = {Automated Reasoning},
author = {Maria Paola Bonacina and Alberto Martelli},
year = {2006},
researchr = {https://researchr.org/publication/BonacinaM06},
cites = {0},
citedby = {0},
journal = {Intelligenza Artificiale},
volume = {3},
number = {1-2},
pages = {14-20},
}