"Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings " - читать интересную книгу автора (Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister)