Automated reasoning

@article{automatedreasoning-iaiii,
   apice = {AutomatedreasoningIaIII},
   author = {Maria Paola Bonacina and Alberto Martelli},
   issn = {1724-8035},
   journal = {Intelligenza Artificiale},
   month = {March-June},
   note = {Special Issue: The First 50 Years of Artificial Intelligence},
   number = {1-2},
   numpages = 7,
   pages = {14--20},
   publisher = {Associazione Italiana per l'Intelligenza Artificiale},
   title = {Automated reasoning},
   url = {http://ia.di.uniba.it/magazine/2006_1/indice.html},
   volume = {III},
   year = 2006
}