@inproceedings{conf/csl/CantoneLA11,
  added-at = {2011-09-11T00:00:00.000+0200},
  author = {Cantone, Domenico and Longo, Cristiano and Asmundo, Marianna Nicolosi},
  biburl = {http://www.bibsonomy.org/bibtex/233d1d1d34b8652fe2b9bceb03f5c4b90/dblp},
  booktitle = {CSL},
  crossref = {conf/csl/2011},
  editor = {Bezem, Marc},
  ee = {http://dx.doi.org/10.4230/LIPIcs.CSL.2011.129},
  interhash = {1884850a17dc9d01d15c30b6844e7cca},
  intrahash = {33d1d1d34b8652fe2b9bceb03f5c4b90},
  isbn = {978-3-939897-32-3},
  keywords = {dblp},
  pages = {129-143},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {LIPIcs},
  title = {A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.},
  url = {http://dblp.uni-trier.de/db/conf/csl/csl2011.html#CantoneLA11},
  volume = 12,
  year = 2011
}

@inproceedings{conf/tphol/BellaLP03,
  added-at = {2011-07-05T00:00:00.000+0200},
  author = {Bella, Giampaolo and Longo, Cristiano and Paulson, Lawrence C.},
  biburl = {http://www.bibsonomy.org/bibtex/2790e4a2efa101126beec902881ccb614/dblp},
  booktitle = {TPHOLs},
  crossref = {conf/tphol/2003},
  editor = {Basin, David A. and Wolff, Burkhart},
  ee = {http://dx.doi.org/10.1007/10930755_23},
  interhash = {55995aa19ea153d1a3bda71167f4f6bb},
  intrahash = {790e4a2efa101126beec902881ccb614},
  isbn = {3-540-40664-6},
  keywords = {dblp},
  pages = {352-366},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Verifying Second-Level Security Protocols.},
  url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2003.html#BellaLP03},
  volume = 2758,
  year = 2003
}

@inproceedings{cantone2010decision,
  added-at = {2010-07-11T19:49:40.000+0200},
  author = {Cantone, Domenico and Longo, Cristiano and Asmundo, Marianna Nicolosi},
  biburl = {http://www.bibsonomy.org/bibtex/2e4e830ce847cd376c24ba1b920173af2/etnarosso},
  editor = {Faber, Wolfgang and Leone, Nicola},
  interhash = {b6c034aa1316557d06954c4099456de0},
  intrahash = {e4e830ce847cd376c24ba1b920173af2},
  keywords = {Cartesian-product Decision-procedures ExpTime-hardness NP-completeness maps multi-level-syllogistics},
  title = {A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs},
  url = {http://ceur-ws.org/Vol-598/paper11.pdf},
  year = 2010
}

@inproceedings{conf/swap/LongoS07,
  added-at = {2008-06-09T00:00:00.000+0200},
  author = {Longo, Cristiano and Sciuto, Lorenzo},
  biburl = {http://www.bibsonomy.org/bibtex/2e140d860a4be9f08f01d728ee954d45e/dblp},
  booktitle = {SWAP},
  crossref = {conf/swap/2007},
  date = {2008-06-09},
  description = {dblp},
  editor = {Semeraro, Giovanni and Sciascio, Eugenio Di and Morbidoni, Christian and Stoermer, Heiko},
  ee = {http://ceur-ws.org/Vol-314/24.pdf},
  interhash = {0d70084f325e6fdd7f624c9b67911d25},
  intrahash = {e140d860a4be9f08f01d728ee954d45e},
  keywords = {dblp},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {A Lightweight Ontology for Rating Assessments.},
  url = {http://dblp.uni-trier.de/db/conf/swap/swap2007.html#LongoS07},
  volume = 314,
  year = 2007
}

@inproceedings{LONGOSCIUTO,
  added-at = {2008-01-14T16:17:45.000+0100},
  author = {Longo, Cristiano and Sciuto, Lorenzo},
  biburl = {http://www.bibsonomy.org/bibtex/260dd54b662a04933d6d9d40b3e8200ad/etnarosso},
  booktitle = {Semantic Web Applications
 and Perspective},
  editor = {Applications, Semantic Web and Perspective},
  interhash = {0d70084f325e6fdd7f624c9b67911d25},
  intrahash = {60dd54b662a04933d6d9d40b3e8200ad},
  keywords = {collaborative filtering rating semantic trust web},
  title = {A Lightweight Ontology for Rating Assessments},
  year = 2007
}

@inproceedings{conf/sac/LongoG07,
  added-at = {2007-05-24T00:00:00.000+0200},
  author = {Longo, Cristiano and Giarrusso, Paolo},
  biburl = {http://www.bibsonomy.org/bibtex/2b9741a383a37cf7762a1377018771faa/dblp},
  booktitle = {SAC},
  crossref = {conf/sac/2007},
  date = {2007-05-24},
  description = {dblp},
  editor = {Cho, Yookun and Wainwright, Roger L. and Haddad, Hisham and Shin, Sung Y. and Koo, Yong Wan},
  ee = {http://doi.acm.org/10.1145/1244002.1244339},
  interhash = {9e244b87e98db7bda9c2a2f2f1809ed3},
  intrahash = {b9741a383a37cf7762a1377018771faa},
  isbn = {1-59593-480-4},
  keywords = {dblp},
  pages = {1579-1585},
  publisher = {ACM},
  title = {A protocol to preserve a code of conduct.},
  url = {http://dblp.uni-trier.de/db/conf/sac/sac2007.html#LongoG07},
  year = 2007
}

@inproceedings{conf/spw/BellaLP03,
  added-at = {2005-11-15T00:00:00.000+0100},
  author = {Bella, Giampaolo and Longo, Cristiano and Paulson, Lawrence C.},
  biburl = {http://www.bibsonomy.org/bibtex/26548b03eb2b25b95c23d4527e8027535/dblp},
  booktitle = {Security Protocols Workshop},
  crossref = {conf/spw/2003},
  date = {2005-11-15},
  description = {dblp},
  editor = {Christianson, Bruce and Crispo, Bruno and Malcolm, James A. and Roe, Michael},
  ee = {http://dx.doi.org/10.1007/11542322_23},
  interhash = {21d7c368b024fa2e366cf037318a1471},
  intrahash = {6548b03eb2b25b95c23d4527e8027535},
  isbn = {3-540-28389-7},
  keywords = {dblp},
  pages = {183-189},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Is the Verification Problem for Cryptographic Protocols Solved?.},
  url = {http://dblp.uni-trier.de/db/conf/spw/spw2003.html#BellaLP03},
  volume = 3364,
  year = 2003
}