@article {Sedlar:2009,
	title = {Logica},
	journal = {The Reasoner},
	volume = {3},
	number = {9},
	year = {2009},
	pages = {10-11},
	author = {Sedl{\'a}r, Igor and Podrou{\v z}ek, Juraj}
}
