@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)" }