@misc{rllsupplemental,
  author	= {Greiner, Russell and Lenat, Douglas B.},
  year		= {1980},
  title		= {Details of RLL-1},
  note		= {HPP-80-23, Working Paper}
}