@mastersthesis{EndrissMEng1996,
  author =        {Ulrich Endriss},
  title =         {A KE Based Theorem Proving Assistant},
  school =        {Imperial College London, Department of Computing},
  month =         {June},
  year =          {1996}
}