"Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings " - читать интересную книгу автора (Alberto Pettorossi)