@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},
  timestamp = {2010-07-11T19:49:40.000+0200},
  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
}