@article{MSC_1996_1996_1_a22,
     author = {Cordeschi, Roberto},
     title = {El papel de la heur{\'\i}stica en la demostraci\'on automatizada de teoremas. {El} principio de resoluci\'on de {J.A.} {Robinson.}},
     journal = {Mathware & soft computing},
     pages = {281-293},
     publisher = {mathdoc},
     volume = {3},
     number = {1-2},
     year = {1996},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a22/}
}