@conference {Podrouzek:2010,
	title = {Poznanie, overenie a logika jednoduch{\'y}ch procesov},
	booktitle = {Kontext a v{\'y}znam},
	year = {2010},
	pages = {157-171},
	publisher = {Aleph Bratislava},
	organization = {Aleph Bratislava},
	author = {Podrou{\v z}ek, Juraj and Sedl{\'a}r, Igor},
	editor = {Zouhar, Mari{\'a}n}
}
