External Links

    Journal: ACM Comm. Computer Algebra

    Volume 13, Issue 2

    13 -- 0Jarl Jensen. On the formulation and solution of shell problems by means of computerized algebraic manipulation
    14 -- 20Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht. A short survey on the state of the art in matching and unification problems
    runs on