ISBN 3540562826 books & textbook
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649)
Springer /1992-12-02 Paperback / 363 Pages
isbn-10: 3540562826 / isbn-13: 9783540562825