Foundations of logic and functional programming proceedings
Workshop on Foundations of Logic and Functional Programming, Trento, 1986 L Carlucci Aiello; M Boscarol
Berlin Springer 1988
Disponible en
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.306 ex.1 ) y otras localizaciones(Obténgalo)