Fifth generation computer systems - Moto- Oka, T. (North- Holland Publishing Company, 1981)