Winter school on logic programming and related topics 3-21 January, 1994 - Calcutta: Indian Statistical Institute, 1994 - 411p. Universal Decimal Class. No.: 510.6(082.2) / N4