@article{iclp/Bogaerts14,
	author    = {Bogaerts, Bart and
               Jansen, Joachim and
               Bruynooghe, Maurice and
               {De Cat}, Broes and
               Vennekens, Joost and
               Denecker, Marc},	
	title = {Simulating Dynamic Systems Using Linear Time Calculus Theories},
	journal = {Theory and Practice of Logic Programming},
	volume = {14},
	issue = {Special Issue 4-5},
	month = {7},
	year = {2014},
	issn = {1475-3081},
	pages = {477--492},
	numpages = {16},
	doi = {10.1017/S1471068414000155},
	URL = {http://journals.cambridge.org/article_S1471068414000155},
}