@book(DLHANDBOOK2,
 editor       = "Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider",
 year         = "2007",
 title        = "The Description Logic Handbook: Theory, Implementation, and Applications",
 edition      = "second",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511711787",
)
@inbook(Ber1966,
 author       = "R. Berger",
 year         = "1966",
 title        = "The undecidability of the domino problem",
 pages        = "1--72",
 series       = "Mem. Amer. Math. Soc.",
 volume       = "66",
 publisher    = "American Mathematical Society",
 doi          = "10.1007/978-3-540-69407-6\_51",
)
@book(BorGraGur1997,
 author       = "Egon B{\"o}rger and Erich Gr{\"a}del and Yuri Gurevich",
 year         = "1997",
 title        = "The Classical Decision Problem",
 series       = "Perspectives in Mathematical Logic",
 publisher    = "Springer",
)
@article(BreFerOmoSch1981,
 author       = "Michael Breban and Alfredo Ferro and Eugenio G. Omodeo and Jacob T. Schwartz",
 year         = "1981",
 title        = "Decision procedures for elementary sublanguages of set theory. {II}. {F}ormulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions.",
 journal      = "Communications on Pure and Applied Mathematics",
 volume       = "34",
 pages        = "177--195",
 doi          = "10.1002/cpa.3160340203",
)
@book(CanFerOmo89a,
 author       = "Domenico Cantone and Alfredo Ferro and Eugenio Omodeo",
 year         = "1989",
 title        = "Computable set theory",
 series       = "International Series of Monographs on Computer Science",
 volume       = "6",
 publisher    = "Oxford Science Publications. Clarendon Press",
 address      = "Oxford, {UK}",
)
@inproceedings(CanLonNic2011,
 author       = "Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo",
 year         = "2011",
 title        = "A {D}ecidable {Q}uantified {F}ragment of {S}et {T}heory {I}nvolving {O}rdered {P}airs with {A}pplications to {D}escription {L}ogics",
 editor       = "Marc Bezem",
 booktitle    = "CSL 2011",
 series       = "LIPIcs",
 volume       = "12",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "129--143",
 doi          = "10.4230/LIPIcs.CSL.2011.129",
)
@inproceedings(CanLonNic2010,
 author       = "Domenico Cantone and Cristiano Longo and Marianna {Nicolosi Asmundo}",
 year         = "2010",
 title        = "A {D}ecision {P}rocedure for a {T}wo-sorted {E}xtension of {M}ulti-{L}evel {S}yllogistic with the {C}artesian {P}roduct and {S}ome {M}ap {C}onstructs",
 editor       = "Wolfgang Faber and Nicola Leone",
 booktitle    = "CILC2010 : 25th Italian Conference on Computational Logic",
)
@inproceedings(CanLonPis2010,
 author       = "Domenico Cantone and Cristiano Longo and Antonio Pisasale",
 year         = "2010",
 title        = "{C}omparing {D}escription {L}ogics with {M}ulti-Level {S}yllogistics: the {D}escription {L}ogic \ensuremath {\mathcal {DL\delimiter "426830A }\ensuremath {\mathsf {MLSS}_{2,m}^{\times }}\xspace \mathcal {\delimiter "526930B }}\xspace ",
 booktitle    = "6th Workshop on Semantic Web Applications and Perspectives (SWAP)",
)
@book(CanOmoPol01,
 author       = "Domenico Cantone and Eugenio Omodeo and Alberto Policriti",
 year         = "2001",
 title        = "Set theory for computing: {F}rom decision procedures to declarative programming with sets",
 series       = "Monographs in Computer Science",
 publisher    = "Springer-Verlag",
 address      = "New York, NY, USA",
)
@article(CanSch91,
 author       = "Domenico Cantone and Jacob T. Schwartz",
 year         = "1991",
 title        = "{D}ecision {P}rocedures for {E}lementary {S}ublanguages of {S}et {T}heory: {XI}. {M}ultilevel {S}yllogistic {E}xtended by {S}ome {E}lementary {M}ap {C}onstructs",
 journal      = "J. Autom. Reasoning",
 volume       = "7",
 number       = "2",
 pages        = "231--256",
 doi          = "10.1007/BF00243808",
)
@article(EitGotMan1997,
 author       = "Thomas Eiter and Georg Gottlob and Heikki Mannila",
 year         = "1997",
 title        = "{D}isjunctive {D}atalog",
 journal      = "ACM Trans. Database Syst.",
 volume       = "22",
 number       = "3",
 pages        = "364--418",
 doi          = "10.1145/261124.261126",
)
@article(FerOmoSch1980,
 author       = "Alfredo Ferro and Eugenio G. Omodeo and Jacob T. Schwartz",
 year         = "1980",
 title        = "Decision Procedures for Elementary Sublanguages of Set Theory. I. Multi-level syllogistic and some extensions.",
 journal      = "Comm. Pure Appl. Math.",
 volume       = "XXXIII",
 number       = "5",
 pages        = "599--608",
 doi          = "10.1002/cpa.3160330503",
)
@inproceedings(FOS80,
 author       = "Alfredo Ferro and Eugenio G. Omodeo and Jacob T. Schwartz",
 year         = "1980",
 title        = "Decision Procedures for Some Fragments of Set Theory",
 editor       = "Wolfgang Bibel and Robert A. Kowalski",
 booktitle    = "CADE",
 series       = "Lecture Notes in Computer Science",
 volume       = "87",
 publisher    = "Springer",
 pages        = "88--96",
 doi          = "10.1007/3-540-10009-1\_8",
)
@book(Mos2005,
 author       = "Yiannis Moschovakis",
 year         = "2005",
 title        = "Notes on Set Theory",
 edition      = "second",
 publisher    = "Springer",
)
@article(Mot2007,
 author       = "Boris Motik",
 year         = "2007",
 title        = "On the {P}roperties of {M}etamodeling in {OWL}",
 journal      = "J. Log. Comput.",
 volume       = "17",
 number       = "4",
 pages        = "617--637",
 doi          = "10.1093/logcom/exm027",
)
@article(OmoPol2010,
 author       = "Eugenio Omodeo and Alberto Policriti",
 year         = "2010",
 title        = "The {B}ernays-{S}ch{\"o}nfinkel-{R}amsey {C}lass for {S}et {T}heory: {S}emidecidability",
 journal      = "Journal of Symbolic Logic",
 volume       = "75",
 number       = "2",
 pages        = "459--480",
 doi          = "10.2178/jsl/1268917490",
)
@article(OmoPol2012,
 author       = "Eugenio Omodeo and Alberto Policriti",
 year         = "2012",
 title        = "The {B}ernays-{S}ch{\"o}nfinkel-{R}amsey {C}lass for {S}et {T}heory: {D}ecidability",
 journal      = "Journal of Symbolic Logic, to appear",
)
@book(SchCanOmo11,
 author       = "Jacob T. Schwartz and Domenico Cantone and Eugenio G. Omodeo",
 year         = "2011",
 title        = "Computational logic and set theory: Applying formalized logic to analysis",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-0-85729-808-9",
 note         = "Foreword by M. Davis",
)
@book(SchDewSchDub1986,
 author       = "Jacob T. Schwartz and Robert B. K. Dewar and Edmond Schonberg and E Dubinsky",
 year         = "1986",
 title        = "Programming with sets; an introduction to SETL",
 publisher    = "Springer-Verlag New York, Inc.",
 address      = "New York, NY, USA",
)
@techreport(WelFer1994,
 author       = "Christopher A. Welty and David A. Ferrucci",
 year         = "1994",
 title        = "What's in an instance?",
 type         = "Technical Report",
 institution  = "RPI Computer Science",
)