@book{12980,
	author = {Warnier, Jean Dominique},
	title = {Síntesis de programación lógica :},
	publisher = {Editores Técnicos Asociados,},
	year = {1975.},
	address = {Barcelona :},
	note = {Contiene tablas, conclusiones, simbolos}
}