Information Processing Letters 

 -  Elsevier 
<br/><br/><label>ISBN: </label>00200190 0020-0190