@book{232013,
	author = {Cruz, Jorge. and ProQuest (Firm)},
	title = {Constraint reasoning for differential models},
	publisher = {IOS Press,},
	year = {c2005.},
	series = {Frontiers in artificial intelligence and applications ;},
	address = {Amsterdam ;},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=265941}
}