https://filesoo.com/product/4469/models-algebras-and-proofs-selected-papers-of-the-x-latin-american-symposium-on-mathematical-logic-held-in-bogota