Fifth generations computer systems - Moto-Oka,T (North-Holland, 1981)