Abdel-Illah Mouaddib A study of a dynamic progressive reasoning system. 101-122 2000 12 J. Exp. Theor. Artif. Intell. 1 db/journals/jetai/jetai12.html#Mouaddib00