Key points are not available for this paper at this time.
This work was supported in part by the National Science Foundation under grant NSF MCS 76-22940.
Ryszard S. Michalski (Wed,) studied this question.