@techreport{Laird-Newell,
  author	= {Laird, John E. and Newell, Allen},
  month		= jun,
  year		= {1983},
  title		= {A Universal Weak Method},
  number	= {CMU-CS-83-141},
  address	= {Pittsburgh, PA},
  institution	= {Carnegie-Mellon University Department of Computer Science}
}