@inproceedings{BP88Gaussig,
    AUTHOR = "C. Beierle and U. Pletat",
    TITLE = "Integrating Logic Programming and Equational Specification
             of Abstract Data Types",
    BOOKTITLE = "Algebraic and Logic Programming",
    SUBTITLE = "Proceedings of an International Workshop held in
                Gaussig (GDR), November 14 - 18, 1988",
    EDITOR = "J. Grabowski and P. Lescanne and W. Wechler",
    YEAR = 1988,
    PAGES = "71--82",
    ADDRESSnnn = {Berlin},
    PUBLISHERnnn = {Akademie-Verlag},
    PUBLISHER = {Springer},
    SERIES = "Lecture Notes in Computer Science",
    VOLUME = 343,
    isbn      = {3-540-50667-5},
    NOTE1 = "(to appear also as LNCS, Springer-Verlag)"              }