@article{BUMI_2001_8_4A_3_a9,
     author = {Bruni, Renato},
     title = {Elementi di programmazione logica},
     journal = {Bollettino della Unione matematica italiana},
     pages = {415--418},
     publisher = {mathdoc},
     volume = {Ser. 8, 4A},
     number = {3},
     year = {2001},
     zbl = {1053.68522},
     mrnumber = {475016},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2001_8_4A_3_a9/}
}