Pratt-Hartmann, I. (2017). The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable.
Citazione stile Chigago Style (17a edizione)Pratt-Hartmann, Ian. The Finite Satisfiability Problem for Two-Variable, First-Order Logic with One Transitive Relation Is Decidable. 2017.
Citatione MLA (9a ed.)Pratt-Hartmann, Ian. The Finite Satisfiability Problem for Two-Variable, First-Order Logic with One Transitive Relation Is Decidable. 2017.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.