@inproceedings{HofstedtJeltschKoenigetal.2012, author = {Petra Hofstedt and Wolfgang Jeltsch and Thomas K{\"o}nig and Xu Guangyun}, title = {Monadische Constraint-Programmierung}, year = {2012}, }