Henryk Jan Komorowski: Towards a Programming Methodology Founded on Partial Deduction. ECAI 1990: 404-409