1. J. Balcázar J. Díaz and J. Gabarró. 1990. Structural Complexity II. Springer. https://doi.org/10.1007/978-3-642-75357-2 J. Balcázar J. Díaz and J. Gabarró. 1990. Structural Complexity II. Springer. https://doi.org/10.1007/978-3-642-75357-2
2. Strong extension axioms and Shelah's zero-one law for choiceless polynomial time
3. K. Compton . 1998. 0-1 laws in logic and combinatorics . In NATO Advanced Study Institute on Algorithms and Order, I. Rival (Ed.). Kluver, 353–383. https://doi.org/10.1007/978-94-009-2639-4_10 K. Compton. 1998. 0-1 laws in logic and combinatorics. In NATO Advanced Study Institute on Algorithms and Order, I. Rival (Ed.). Kluver, 353–383. https://doi.org/10.1007/978-94-009-2639-4_10
4. K. Dannert , E. Grädel , M. Naaf , and V. Tannen . 2021 . Semiring Provenance for Fixed-Point Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (LIPIcs, Vol. 183). 17:1–17:22. https://doi.org/10.4230/LIPIcs.CSL. 2021 .17 K. Dannert, E. Grädel, M. Naaf, and V. Tannen. 2021. Semiring Provenance for Fixed-Point Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)(LIPIcs, Vol. 183). 17:1–17:22. https://doi.org/10.4230/LIPIcs.CSL.2021.17
5. Probabilities on finite models