@mastersthesis{ takacRigor,<br/>author={{Tak{\'a}{\v{c}}, M.}},<br/>title={{Fixed Point Classification Method for Qualitative Simulation}},<br/>school={Comenius University},<br/>year={2001},<br/>note={Unpublished RNDr. thesis},<br/>}