Jacques Nicholas Constructive Proofs for Concept Learning. 59-66 1988 AIMSA db/conf/aimsa/aimsa1988.html#Nicholas88