Floor Verdenius A Method for Inductive Cost Optimization. 179-191 1991 conf/ecml/1991 EWSL db/conf/ecml/ewsl91.html#Verdenius91 http://dx.doi.org/10.1007/BFb0017013