Salvatore Caporaso, Emanuele Covino, Giovanni Pani. A predicative approach to the classification problem. Journal of Functional Programming, 11(1):95-116, 2001.
@article{CaporasoCP01, title = {A predicative approach to the classification problem}, author = {Salvatore Caporaso and Emanuele Covino and Giovanni Pani}, year = {2001}, tags = {classification, systematic-approach}, researchr = {https://researchr.org/publication/CaporasoCP01}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {11}, number = {1}, pages = {95-116}, }