%0 Conference Paper %1 conf/agp/DovierR93 %A Dovier, Agostino %A Rossi, Gianfranco %B GULP %D 1993 %E Saccà, Domenico %K dblp %P 71-86 %T Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. %U http://dblp.uni-trier.de/db/conf/agp/gulp1993.html#DovierR93

@inproceedings{conf/agp/DovierR93, added-at = {2004-12-02T00:00:00.000+0100}, author = {Dovier, Agostino and Rossi, Gianfranco}, biburl = {https://www.bibsonomy.org/bibtex/221434f5ee89ff62595fe68f1a5d1dc95/dblp}, booktitle = {GULP}, crossref = {conf/agp/1993}, date = {2004-12-02}, description = {dblp}, editor = {Saccà, Domenico}, interhash = {5bf0233eda09e84f10a9d3ba3a6bd917}, intrahash = {21434f5ee89ff62595fe68f1a5d1dc95}, keywords = {dblp}, pages = {71-86}, timestamp = {2004-12-02T00:00:00.000+0100}, title = {Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp1993.html#DovierR93}, year = 1993 }