@book{34488,
	author = {Tsai, Jeffrey J.-P. and Li, Bing, and ebrary, Inc.},
	title = {Hybrid parallel execution model for logic-based specification languages},
	publisher = {World Scientific,},
	year = {c2001.},
	series = {Series on software engineering and knowledge engineering ;},
	address = {Singapore ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10255649}
}