@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} }