-
@article{MAKOW04, author = {Makowsky, Johann A.}, doi = {10.1016/j.apal.2003.11.002}, issn = {0168-0072}, journal = {Annals of Pure and Applied Logic}, number = {1}, pages = {159--213}, publisher = {Elsevier}, sha256 = {0294D450B2C9AEF54144EB73CD1549E7FA06CBE23DF2EB36099042A78C3A5EC3}, title = {Algorithmic uses of the {F}eferman--{V}aught {T}heorem}, url = {https://www.sciencedirect.com/science/article/pii/S0168007203001003}, volume = {126}, year = {2004} }