@book{30977,
	author = {De Ledesma, Luis},
	title = {Lógica para la Computación: Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog /},
	publisher = {Alfaomega,},
	year = {2010.},
	address = {Mexico :}
}