@article{RLINA_1979_8_67_6_a0,
     author = {Mundici, Daniele},
     title = {Robinson consistency theorem in soft model theory},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {383--386},
     publisher = {mathdoc},
     volume = {Ser. 8, 67},
     number = {6},
     year = {1979},
     zbl = {0464.03032},
     mrnumber = {376337},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1979_8_67_6_a0/}
}