Gerardo Canfora, Aniello Cimitile, Ugo de Carlini. A logic based approach to reverse engineering tools production. In Proceedings of the Conference on Software Maintenance, ICSM 1991, Sorrento, Italy, 15-17 October 1991. pages 83-91, IEEE, 1991. [doi]
Abstract is missing.