External Links

    Journal: Journal of Symbolic Computation

    Volume 47, Issue 9

    1009 -- 1010Nicolas Peltier, Viorica Sofronie-Stokkermans. First-order theorem proving: Foreword
    1011 -- 1045Peter Baumgartner, Björn Pelzer, Cesare Tinelli. Model Evolution with equality - Revised and implemented
    1046 -- 1065Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler. Incremental variable splitting
    1066 -- 1088Silvio Ranise. On the verification of security-aware E-services
    1089 -- 1108Christoph Wernhard. Projection and scope-determined circumscription
    1109 -- 1135Claus-Peter Wirth. +, and Non-Permutability of β-Steps
    runs on