Proceedings of the Association for Computing Machinery 1984 Annual conference (ACM' 1984) San Francisco ,CA,8-14 October 1984 : The Fifth generation Challenge - Muller, R.L. (North-Holland, 1984)