Term indexing for retrieval by unification - Yokota, Haruo; Kitakami, Hajime; Hattori, Akira (1988)