@article{Pais-Peterson/91,
AUTHOR = {Pais, John and Peterson, Gerald E.},
TITLE = {Using forcing to prove completeness of resolution and paramodulation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {1-2},
PAGES = {3-19},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Rusinowitch/91,
AUTHOR = {Rusinowitch, Michael},
TITLE = {Theorem-proving with resolution and superposition},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {1-2},
PAGES = {21-49},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ganzinger/91,
AUTHOR = {Ganzinger, Harald},
TITLE = {A completion procedure for conditional equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {1-2},
PAGES = {51-81},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kapur-Narendran-Zhang/91,
AUTHOR = {Kapur, Deepak and Narendran, Paliath and Zhang, Hantao},
TITLE = {Automating inductionless induction using test sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {1-2},
PAGES = {83-111},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kounalis-Rusinowitch/91,
AUTHOR = {Kounalis, Emmanuel and Rusinowitch, M{\v{i}}chael},
TITLE = {On word problems in Horn theories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {1-2},
PAGES = {113-127},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Socher/91,
AUTHOR = {Socher, Rolf},
TITLE = {On the relation between resolution based and completion based theorem proving},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {1-2},
PAGES = {129-147},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Plaisted-Potter/91,
AUTHOR = {Plaisted, David A. and Potter, Richard C.},
TITLE = {Term rewriting: Some experimental results},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {1-2},
PAGES = {149-180},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Chazarain-Riscos-Alonso-Briales/91,
AUTHOR = {Chazarain, J. and Riscos, A. and Alonso, J.A. and Briales, E.},
TITLE = {Multi-valued logic and Gr{\"o}bner bases with applications to modal logic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {181-194},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zeilberger/91,
AUTHOR = {Zeilberger, Doron},
TITLE = {The method of creative telescoping},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {195-204},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sattler-Klein/91,
AUTHOR = {Sattler-Klein, Andrea},
TITLE = {Elimination of composite superpositions may cause abortion},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {205-211},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gentili-OConnor/91,
AUTHOR = {Gentili, Graziano and O'Connor, Michael A.},
TITLE = {Rational geometry in space},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {213-229},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Piquette/91,
AUTHOR = {Piquette, Jean C.},
TITLE = {A method for symbolic evaluation of indefinite integrals containing special functions or their products},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {231-249},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Singer/91,
AUTHOR = {Singer, Michael F.},
TITLE = {Liouvillian solutions of linear differential equations with Liouvillian coefficients},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {251-273},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Diver/91,
AUTHOR = {Diver, D.A.},
TITLE = {Modelling waves with computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {275-289},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cohen-Fitch/91,
AUTHOR = {Cohen, H.I. and Fitch, J.P.},
TITLE = {Uses made of computer algera in physics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {3},
PAGES = {291-305},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ponder/91,
AUTHOR = {Ponder, Carl G.},
TITLE = {Parallel multiplication and powering of polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {4},
PAGES = {307-320},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Laville/91,
AUTHOR = {Laville, Alain},
TITLE = {Comparison of priority rules in pattern matching and term rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {4},
PAGES = {321-347},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Comon-Lugiez-Schnoebelen/91,
AUTHOR = {Comon, H. and Lugiez, D. and Schnoebelen, Ph.},
TITLE = {A rewrite-based type discipline for a subset of computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {4},
PAGES = {349-368},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Krantz-Paulsen/91,
AUTHOR = {Krantz, Steven G. and Paulsen, William H.},
TITLE = {Asymptotic eigenfrequency distributions for the $N$-beam Euler-Bernoulli coupled beam equation with dissipative joints},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {4},
PAGES = {369-418},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{White/91,
AUTHOR = {White, Neil L.},
TITLE = {Multilinear Cayley factorization},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {421-438},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sturmfels-Whiteley/91,
AUTHOR = {Sturmfels, Bernd and Whiteley, Walter},
TITLE = {On the synthetic factorization of projectively invariant polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {439-453},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Morgenstern/91,
AUTHOR = {Morgenstern, Jacques},
TITLE = {Invariant and geometric aspects of algebraic complexity theory I},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {455-469},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{McMillan-White/91,
AUTHOR = {McMillan, Tim and White, Neil L.},
TITLE = {The dotted straightening algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {471-482},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Clausen/91,
AUTHOR = {Clausen, Michael},
TITLE = {Multivariate polynomials, standard tableaux, and representations of symmetric groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {483-522},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Crapo/91,
AUTHOR = {Crapo, Henry},
TITLE = {Invariant-theoretic methods in scene analysis and structural mechanics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {523-548},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Whiteley/91,
AUTHOR = {Whiteley, Walter},
TITLE = {Invariant computations for analytic projective geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {549-578},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Havel/91,
AUTHOR = {Havel, Timothy F.},
TITLE = {Some examples of the use of distances as coordinates for Euclidean geometry},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {579-593},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sturmfels/91,
AUTHOR = {Sturmfels, Bernd},
TITLE = {Computational algebraic geometry of projective configurations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {11},
NUMBER = {5-6},
PAGES = {595-618},
YEAR = {1991},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}