A Prototype Compiler for Prolog with Boolean Constraints. - Giovanna M. Dore; Philippe Codognet (GULP, 1993)

Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX. - Andrea Asperti; Giovanna M. Dore (LFCS, 1994)

Observable Semantics for Constraint Logic Programs. - Maurizio Gabbrielli; Giovanna M. Dore; Giorgio Levi (J. Log. Comput., 1995)