"Walter Prager"@cs .