Author: International Symposium, PLILP '92 (4th 1992 Leuven, Belgium)