"Rzedowski"@cs .