@article{de-ledesma-et-al_aij1997,
  author       = {De Ledesma, Luis and Pérez, Aurora and Borrajo, Daniel and Laita, Luis
    M.},
  journal      = {Artificial Intelligence},
  number       = 2,
  pages        = {281 -- 307},
  title        = {A computational approach to George Boole's discovery of Mathematical
    Logic},
  volume       = 91,
  year         = 1997,
}