JOURNAL OF COMPUTER AND SYSTEM SCIENCES