Author: Phoenix Seminar and Workshop on Declarative Programming (1991 Sasbachwalden, Germany)