Donald Rose Using Domain Knowledge to Aid Scientific Theory Revision. 272-277 1989 conf/icml/1989 ML db/conf/icml/ml1989.html#Rose89