@article{DBLP:journals/tkde/Honig93,
  author    = {William M. Honig},
  title     = {Logical Organization of Knowledge with Inconsistent and
               Undecidable Algorithms Using Imaginary and Transfinite Exponential
               Number Forms in a Non-Boolean Field: Part One - Basic Principles},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {2},
  year      = {1993},
  pages     = {190-203},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/69.219730},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}