id: 50285547
dt: j
an: 50285547
au: Ayala-Rincón, Mauricio; Muñoz, César
ti: Explicit substitions and all that
so: Revista Colombiana de Computación 1, No. 1, 47-71 (2000).
py: 2000
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://www.unab.edu.co/editorialunab/revistas/rcc/pdfs/r11_art3_c.pdf