%0 Conference Paper %1 conf/slp/DelzannoM93 %A Delzanno, Giorgio %A Martelli, Maurizio %B ILPS %D 1993 %E Miller, Dale %I MIT Press %K dblp %P 676 %T A Bottom-Up Characterization of Finite Success. %U http://dblp.uni-trier.de/db/conf/slp/slp93.html#DelzannoM93 %@ 0-262-63152-0

@inproceedings{conf/slp/DelzannoM93, added-at = {2013-12-04T00:00:00.000+0100}, author = {Delzanno, Giorgio and Martelli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/24c217893cb70e0f0221cb2d90b3eb37b/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1993}, editor = {Miller, Dale}, interhash = {b5204f2195d0926ce142dce6493aef23}, intrahash = {4c217893cb70e0f0221cb2d90b3eb37b}, isbn = {0-262-63152-0}, keywords = {dblp}, pages = 676, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:58.000+0100}, title = {A Bottom-Up Characterization of Finite Success.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp93.html#DelzannoM93}, year = 1993 }