International Symposium, PLILP '94 (6th 1994 Madrid, Spain)