Henryk Jan Komorowski: An Introduction to Partial Deduction. META 1992: 49-69