Author: International Workshop PLILP '90 (1990 Linköping, Sweden)