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},
  year = {1995},
  cicyt = {workshops},
  key = {Other},
  url = {spring95.ps.gz},
  publisher = {AAAI},
  address = {Stanford, CA (USA)},
  month = {March},
  pages = {60-65},
  jcr = {}
}