@conference {podrouzek_j2010:2137, title = {Poznanie, overenie a logika jednoduch{\'y}ch procesov}, booktitle = {Kontext a v{\'y}znam}, number = {2}, year = {2010}, note = {org-02-2010}, pages = {157-171}, publisher = {Aleph}, organization = {Aleph}, address = {Bratislava}, isbn = {ISBN 978-80-89491-00-1}, author = {Podrou{\v z}ek, Juraj and Sedl{\'a}r, Igor}, editor = {Zouhar, Mari{\'a}n} }