%0 Conference Paper %1 journals/corr/abs-1103-3319 %A Asperti, Andrea %A Tassi, Enrico %B TYPES %D 2009 %E Hirschowitz, Tom %K dblp %P 1-15 %T Superposition as a logical glue %U http://dblp.uni-trier.de/db/series/eptcs/eptcs53.html#abs-1103-3319 %V 53

@inproceedings{journals/corr/abs-1103-3319, added-at = {2018-09-12T00:00:00.000+0200}, author = {Asperti, Andrea and Tassi, Enrico}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ca1e69de1448bf87877a1af4854956a6/dblp}, booktitle = {TYPES}, crossref = {journals/corr/abs-1103-3111}, editor = {Hirschowitz, Tom}, ee = {http://arxiv.org/abs/1103.3319}, interhash = {0ed923a1311ee1e018291a1392d4d03d}, intrahash = {ca1e69de1448bf87877a1af4854956a6}, keywords = {dblp}, pages = {1-15}, series = {EPTCS}, timestamp = {2019-09-27T12:27:48.000+0200}, title = {Superposition as a logical glue}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs53.html#abs-1103-3319}, volume = 53, year = 2009 }