Drosten, K.K.Drosten2022-03-082022-03-081988https://publica.fraunhofer.de/handle/publica/314625en004005006Translating algebraic specifications to prolog programs: A comparative studyconference paper