"R. Holeczy"@cs .