@book{15540,
	author = {Paniagua Aris, Enrique and Martin Rubio, Fernando},
	title = {Lógica computacional.},
	publisher = {Thomson,},
	year = {2003.},
	address = {Madrid :}
}