@inproceedings{de-ledesma-et-al_aaai1995,
  author       = {de Ledesma, Luis and Pérez, Aurora and Borrajo, Daniel and Laita, Luis
    M.},
  pages        = {60 -- 65},
  title        = {Theory-driven historical discovery: Boole's abstract formalization of
    Logic},
  year         = 1995,
  booktitle    = {AAAI Spring Symposium - Technical Report},
}