@book{1187,
	author = {International Workshop on Logic in Databases and Pedreschi, Dino.},
	title = {Logic in databases :},
	publisher = {Springer,},
	year = {c1996.},
	series = {Lecture notes in computer science ;},
	address = {Berlin ;}
}