@book{26101,
	author = {Logics},
	title = {Logics in Artificial Intelligence}
}