CISMOD 94 /INSDOC, Proceedings of the international conference on information systems and management of data, 26-28 October, 1994 - Bangalore: INSDOC, 1994 - 228p. Subjects--Topical Terms: Information system technology Subjects--Index Terms: Efficient Unification algorithm Logic database language Universal Decimal Class. No.: D 681.3.01(082.2) / N4