Annals of Mathematics and Artificial Intelligence 21(2-4) 1997

(1997)