
@conference {inp:BeckertBruns2012a,
	title = {Formal Semantics of Model Fields in Annotation-based Specifications},
	booktitle = {{KI 2012}: Advances in Artificial Intelligence},
	year = {2012},
	author = {B. Beckert and D. Bruns}
}
