CLAM specification for provably correct compilation of CLP( R ) programs. - Egon Börger; Rosario F. Salamone (Specification and validation methods, 1993)