Author:
Publication: Artificial Intelligence
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
Agent planning programs