Planning with constraints (MOLGEN: Part 1)
Planning and meta-planning (MOLGEN: Part 2)
Modelling student's problem solving
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
On the independence assumption underlying subjective bayesian updating
NATO symposium on artificial and human intelligence : October 26–30, 1981 at Lyon, Francen intelligence