Paper  bibtex   

@inproceedings{ spring95,
  author = {Luis de Ledesma and Aurora Pérez and Daniel Borrajo and Luis M. Laita},
  title = {Theory-driven historical discovery: Boole's abstract formalization of Logic},
  booktitle = {Working notes of the AAAI Spring Series Symposium 1995 on Systematic Methods of Scientific Discovery},
  key = {Other},
  month = {March},
  pages = {60-65},
  url = {spring95.ps.gz},
  year = {1995}
}