@article{Beierle92_Journal_IBM,
    AUTHOR = "C. Beierle",
    TITLE = "Logic Programming with Typed Unification and its Realization on an
             Abstract Machine",
    JOURNAL = "IBM Journal of Research and Development",
    YEAR = 1992,
    VOLUME = 36,
    NUMBER = 3,
    PAGES = "375--390",
    MONTH = "May" }