@Inproceedings{EPTCS53.1,
  author    = {Asperti, Andrea and Tassi, Enrico},
  year      = {2011},
  title     = {Superposition as a logical glue},
  editor    = {Hirschowitz, Tom},
  booktitle = {{\rm Proceedings}
               Types for Proofs and Programs, Revised Selected Papers,
               {\rm Aussois, France, 12-15th May 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {53},
  publisher = {Open Publishing Association},
  pages     = {1-15},
  doi       = {10.4204/EPTCS.53.1},
}