Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions. - Hervé Gallaire; Alain Grumbach; E. Papon (SPLT, 1982)