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