author = { Mrasek, Richard AND Mülle, Jutta AND Böhm, Klemens },

title = { Automatic Generation of Optimized Process Models from Declarative Specifications },

publisher = {KIT, Fakultät für Informatik},

year = {2014},

booktitle = {Karlsruhe reports in informatics ; 2014,15},

address = { Karlsruhe },

url = { http://slubdd.de/katalog?TN_libero_mab2 }