TY - BOOK AU - "Gannesini, Francis" TI - Prolog SN - 201129116 CY - Addison Wesley N1 - includes index and biblioraphy ER -