@proceedings{adlassnig2009,
	title     = {A Formal Logical Framework for Cadiag-2},
	author    = {Agata Ciabattoni and  Thomas Vetterlein and  Klaus-Peter Adlassnig},
	year      = {2009},
	month     = {August},
	booktitle = {Proceedings of the 30th MIE conference (Sarajevo 2009)},
	state     = {published},
	talk      = {1}
}