Report 88-25 (Reviewed) TUD Faculty of Technical Mathematics and Informatics Heuristic reasoning