First-order logic with self-reference - Reijo Jaakkola; Antti Kuusisto (2022)