External Links

    Journal: Journal of Symbolic Computation

    Volume 18, Issue 1

    1 -- 40Hilary A. Priestley, Martin P. Ward. A Multipurpose Backtracking Algorithm
    41 -- 81Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi. Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods
    83 -- 86Ivo Düntsch. A Microcomputer Based System for Small Relation Algebras
    87 -- 90Craig R. Orr, Doron Zeilberger. A Computer Algebra Approach to the Discrete Dirichlet Problem
    runs on