@article {IOPORT.03696489,
    author       = {Cartwright, Robert and Oppen, Derek},
    title        = {The logic of aliasing.},
    year         = {1981},
    journal      = {Acta Informatica},
    volume       = {15},
    issn         = {0001-5903},
    pages        = {365-384},
    publisher    = {Springer, Berlin},
    doi          = {10.1007/BF00264535},
    identifier   = {03696489},
}