A case study in the meta-reasoning procedure ND. - James J. Lu; Jeffrey S. Rosenthal; Andrew E. Shaffer (J. Exp. Theor. Artif. Intell., 2003)