"Richard Appel"@cs .