@inproceedings{DAgostinoEtAl1997,
  author =        {Marcello D'Agostino and Ulrich Endriss and Dov Gabbay and Marco Mondadori and Jeremy Pitt},
  title =         {Un Nuovo Approccio alla Meccanizzazione del Ragionamento Deduttivo (A New Approach to the Mechanisation of Deductive Reasoning)},
  booktitle =     {Conference of the Italian Philosophical Society on ``Man and Machine: Thirty years later''},
  organization =  {University of Bari},
  month =         {October},
  year =          {1997}
}