@article{BenichouBeringer_et_al92_Journal_IBM,
    AUTHOR = "M. Benichou and H. Beringer and M. Gauthier and C. Beierle",
    TITLE = "Prolog at {IBM}: {An} Advanced and Evolving Application
             Development Technology",
    JOURNAL = "IBM Systems Journal",
    YEAR = 1992,
    VOLUME = 31,
    NUMBER = 4,
    PAGES = "755--773"}