@PRESENTATION{chvalovsk{\'y}2009,
	title     = {Independence of Axioms in Non-Classical Logics and ATP},
	author    = {Karel Chvalovsk{\'y}},
	year      = {2009},
	editor    = {K.\ Ambos-Spies, B.\ L{\"o}we, W.\ Merkle},
	pages     = {324--324},
	month     = {July},
	publisher = {University of Heidelberg},
	address   = {Heidelberg},
	booktitle = {Mathematical Theory and Computational Practice. Abstract Booklet},
	note      = {Abstract},
	state     = {published},
	talk      = {1}
}