Robert Cowen. A Compactness Theorem for Infinite Constraint Satisfaction. Reports on Mathematical Logic, 32:97-107, 1998. [doi]
@article{Cowen98, title = {A Compactness Theorem for Infinite Constraint Satisfaction}, author = {Robert Cowen}, year = {1998}, url = {http://www.iphils.uj.edu.pl/rml/rml-32/a-cow-32.htm}, tags = {constraints}, researchr = {https://researchr.org/publication/Cowen98}, cites = {0}, citedby = {0}, journal = {Reports on Mathematical Logic}, volume = {32}, pages = {97-107}, }