External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 59, Issue 4

    271 -- 285Bernd Fischer, Grigore Rosu. Interpreting Abstract Interpretations in Membership Equational Logic
    375 -- 396Eelco Visser. Scoped Dynamic Rewrite Rules
    runs on