"10.1007/BF01344210"@cs .