20081209125600.0 0020-0190 0020-0190 0020-0190 0020-0190 Information processing letters (Print) Netherlands Information processing letters (Print) Information processing letters. 0020-0190 Information processing letters.