@article{boehm:dezani:CUCH:72,
    Author = {B{\"o}hm, Corrado and Dezani, Mariangiola},
    File = {A CUCH-machine The automatic treatment of bound variables - Böhm, Dezani (1) (0) - a - a - r.pdf},
    ISSN = {0091-7036},
    Journal = {International Journal of Computer \& Information Sciences},
    Language = {English},
    Number = {2},
    Pages = {171-191},
    Publisher = {Kluwer Academic Publishers-Plenum Publishers},
    Title = {A CUCH-machine: The automatic treatment of bound variables},
    URL = {http://dx.doi.org/10.1007/BF00995737},
    Volume = {1},
    Year = {1972},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF00995737},
    date-added = {2013-06-28 09:39:06 +0000},
    date-modified = {2013-06-28 09:39:06 +0000},
    doi = {10.1007/BF00995737}
}

@article{boehm:dezani:CUCH:72, Author = {B{\"o}hm, Corrado and Dezani, Mariangiola}, File = {A CUCH-machine The automatic treatment of bound variables - Böhm, Dezani (1) (0) - a - a - r.pdf}, ISSN = {0091-7036}, Journal = {International Journal of Computer \& Information Sciences}, Language = {English}, Number = {2}, Pages = {171-191}, Publisher = {Kluwer Academic Publishers-Plenum Publishers}, Title = {A CUCH-machine: The automatic treatment of bound variables}, URL = {http://dx.doi.org/10.1007/BF00995737}, Volume = {1}, Year = {1972}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF00995737}, date-added = {2013-06-28 09:39:06 +0000}, date-modified = {2013-06-28 09:39:06 +0000}, doi = {10.1007/BF00995737} }