Klaus Drosten. Translating Algebraic Specifications to Prolog Programs: A Comparative Study. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 137-146, Springer, Gaussig, GDR, 1988.
Abstract is missing.