Meta-Level Interpretation of CLP(Lists). - Jacques Cohen; Pascal Koiran; Catherine Perrin (WCLP, 1991)