@InProceedings{SSUP:CADE-2017,
  author =       {Stephan Schulz and Geoff Sutcliffe and Josef Urban
                  and Adam Pease},
  title =        {Detecting Inconsistencies in Large First-Order
                  Knowledge Bases},
  OPTcrossref =  {},
  OPTkey =       {},
  booktitle =    {Proc.\ of the 26th CADE, Gothenburg},
  year =         {2017},
  editor =       {Leonardo de Moura},
  volume =       {10395},
  OPTnumber =    {},
  series =       {LNAI},
  pages =        {310--325},
  OPTmonth =     {},
  OPTaddress =   {},
  OPTorganization = {},
  publisher =    {Springer},
  OPTnote =      {},
  OPTannote =    {}
}