TY - JOUR T1 - A Closer Look at Declarative Interpretations JF - J. Log. Program. Y1 - 1996 A1 - Krzysztof R. Apt A1 - Maurizio Gabbrielli A1 - Dino Pedreschi VL - 28 ER -