%0 Conference Paper %1 conf/iclp/Cervesato94 %A Cervesato, Iliano %B ICLP Workshop: Proof-Theoretical Extensions on Logic Programming %D 1994 %E Dyckhoff, Roy %E Eriksson, Lars-Henrik %E Momigliano, Alberto %E Ornaghi, Mario %K dblp %T Lollipops Taste of Vanilla too. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#Cervesato94

@inproceedings{conf/iclp/Cervesato94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Cervesato, Iliano}, biburl = {https://www.bibsonomy.org/bibtex/2927ca33a3ee78ac3dac2a908205a604e/dblp}, booktitle = {ICLP Workshop: Proof-Theoretical Extensions on Logic Programming}, crossref = {conf/iclp/1994w10}, editor = {Dyckhoff, Roy and Eriksson, Lars-Henrik and Momigliano, Alberto and Ornaghi, Mario}, interhash = {37b353241ae176df01c0353476086a22}, intrahash = {927ca33a3ee78ac3dac2a908205a604e}, keywords = {dblp}, timestamp = {2013-12-03T11:35:24.000+0100}, title = {Lollipops Taste of Vanilla too.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w10.html#Cervesato94}, year = 1994 }