@inproceedings{klenk.aaai.2014, author={Matthew Klenk, Johan de Kleer, Daniel Bobrow, Bill Janssen}, booktitle={Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence}, title={Qualitative Reasoning with Modelica Models}, year={2014}, venuetype={Conference}, address={Quebec City, Quebec, Canada}, url={http://www.matthewklenk.com/papers/QR-with-Modelica.pdf} }