"Krawczyk"@cs .