%0 Conference Paper %1 conf/lpar/CodishZ10 %A Codish, Michael %A Zazon-Ivry, Moshe %B LPAR (Dakar) %D 2010 %E Clarke, Edmund M. %E Voronkov, Andrei %I Springer %K dblp %P 154-172 %T Pairwise Cardinality Networks. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2010d.html#CodishZ10 %V 6355 %@ 978-3-642-17510-7

@inproceedings{conf/lpar/CodishZ10, added-at = {2018-11-02T00:00:00.000+0100}, author = {Codish, Michael and Zazon-Ivry, Moshe}, biburl = {https://www.bibsonomy.org/bibtex/2c98fc42c3818a895c548340a91876b55/dblp}, booktitle = {LPAR (Dakar)}, crossref = {conf/lpar/2010d}, editor = {Clarke, Edmund M. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-17511-4_10}, interhash = {b1e7ab6987f08ff536ba73b6bd65398a}, intrahash = {c98fc42c3818a895c548340a91876b55}, isbn = {978-3-642-17510-7}, keywords = {dblp}, pages = {154-172}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:21:47.000+0200}, title = {Pairwise Cardinality Networks.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2010d.html#CodishZ10}, volume = 6355, year = 2010 }