@article{CRMATH_2002__334_2_93_0,
     author = {Alexandra Bruasse-Bac},
     title = {Mod\`ele relationnel de la logique lin\'eaire du second ordre},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {93--96},
     publisher = {Elsevier},
     volume = {334},
     number = {2},
     year = {2002},
     doi = {10.1016/S1631-073X(02)02229-X},
     language = {fr},
}