Merkliste 
 1 Ergebnisse 
 
1

Variant-Based Equational Anti-unification:

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