Key points are not available for this paper at this time.
This work was supported in part by the National Science Foundation under Grants MCS 76-22940, MCS 82-05166, and MCS 82-05896, and the Office of Naval Research under Grant N00014-82-K-0186.
Ryszard S. Michalski (Sat,) studied this question.