//-->
Formal methods in pattern recognition: A review
Nieddu, Luciano, (2000)
SIBILLA: An implementation of an intelligent library management system
Patrizi, Giacomo, (1993)
The equivalence of an LCP to a parametric linear program with a scalar parameter
Patrizi, Giacomo, (1991)