@article{BUMI_2000_8_3A_1S_a3,
     author = {Dante, Baldan},
     title = {Integrazione dell{\textquoteright}interpretazione astratta in un compilatore {Prolog} basato sulla {WAM.} {Appendice:} {Un} passo verso una metodologia per lo sviluppo di programmi {Mercury:} una semantica dichiarativa per {Mercury}},
     journal = {Bollettino della Unione matematica italiana},
     pages = {17--19},
     publisher = {mathdoc},
     volume = {Ser. 8, 3A},
     number = {1S},
     year = {2000},
     zbl = {1053.68559},
     mrnumber = {1401924},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2000_8_3A_1S_a3/}
}