Rule-based synthesis using ADTs and term rewriting

Harald-Reto Fonio, Adam Pawlak. Rule-based synthesis using ADTs and term rewriting. Journal of Systems Architecture, 34(1-5):81-84, 1992. [doi]

Abstract

Abstract is missing.