Authors: Belleannee, C Brisset, P Ridoux, O

Citation: C. Belleannee et al., A pragmatic reconstruction of lambda Prolog, J LOGIC PR, 41(1), 1999, pp. 67-102