@article{RIUMI_2008_1_1_2_a30,
     author = {Nicolini, Enrica},
     title = {Procedure di decisione combinate per la soddisfacibilit\`a di vincoli},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {315--318},
     publisher = {mathdoc},
     volume = {Ser. 1, 1},
     number = {2},
     year = {2008},
     zbl = {06744048},
     mrnumber = {2398570},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/}
}