@book{6879,
	author = {APT,KRZYSZTOF R.},
	title = {META-LOGICS AND LOGIC PROGRAMMING/ },
	publisher = {MIT},
	year = {\\\\},
	address = {CAMBRIDGE, MASS.: },
	note = {INCLUYE BIBLIOGRAFIAS.}
}