Merkliste 
 1 Ergebnisse 
 
1

A Rule-Based Approach for Designing and Composing Abstract ..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,