R. Fagin, J. Lenchner, N. Vyas, and R. Williams. MFCS, volume 241 of LIPIcs, page 48:1-48:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)
R. Fagin. Descriptive Complexity and Finite Models, volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 1-32. DIMACS/AMS, (1996)