Anti-Unification Algorithms: design, analysis, and implementation / eingereicht von: Alexander Baumgartner. Linz, 2015
Inhalt