@PRESENTATION{fermüller2011,
	title     = {How to justify your favorite logical system? - A case study},
	author    = {Christian G. Fermüller},
	year      = {2011},
	month     = {06},
	booktitle = { Workshop STRUCTURAL, Paris, France},
	state     = {published}
}