@book{181198,
	author = {Cruz, Jorge. and ebrary, Inc.},
	title = {Constraint reasoning for differential models},
	publisher = {IOS Press,},
	year = {c2005.},
	series = {Frontiers in artificial intelligence and applications ;},
	address = {Amsterdam ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10130633}
}