@book{4718,
	author = {LPAR (Conference) and Clarke, Edmund M.,},
	title = {Logic for programming, artificial intelligence, and reasoning :},
	publisher = {Springer,},
	year = {2010.},
	series = {Lecture notes in computer science,},
	address = {Berlin ;}
}