@STRING{JSC = "{Journal of Symbolic Computation}"}

@ARTICLE {Edit85,
   AUTHOR = {Editors},
   TITLE = {{Symbolic Computation (An Editorial)}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {1--6},
   MONTH = {March},
   KEYWORDS = {Editorial}}

@ARTICLE {Paul85,
   AUTHOR = {Paul, E.},
   TITLE = {{Equational Methods in First Order Predicate Calculus}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {7--29},
   MONTH = {March},
   KEYWORDS = {Equational Reasoning, Automated Theorem Proving, First Order
	Logic}}

@ARTICLE {Eder85,
   AUTHOR = {Eder, E.},
   TITLE = {{Properties of Substitutions and Unifications}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {31--46},
   MONTH = {March},
   KEYWORDS = {Unification}}

@ARTICLE {ChazEdel85,
   AUTHOR = {Chazelle, B. and Edelsbrunner, H.},
   TITLE = {{Optimal Solutions for a Class of Point Retrieval Problems}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {47--56},
   MONTH = {March},
   KEYWORDS = {Computational Geometry}}
 
@ARTICLE {Kalt85,
   AUTHOR = {Kaltofen, E.},
   TITLE = {{Fast Parallel Absolute Irreducibility Testing}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {57--67},
   MONTH = {March},
   KEYWORDS = {Factorization}}
 
@ARTICLE {PaveWang85,
   AUTHOR = {Pavelle, R. and Wang, Paul S.},
   TITLE = {{MACSYMA from F to G}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {69--100},
   MONTH = {March},
   KEYWORDS = {MACSYMA}}
 
@ARTICLE {GerdShvaZhar85,
   AUTHOR = {Gerdt, V.P. and Shvachka, A.B. and Zharkov, A.Yu.},
   TITLE = {{Computer Algebra Application for Classification of Integral}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {101--107},
   MONTH = {March},
   KEYWORDS = {Differential Equations, FORMAC}}
 
@ARTICLE {K{\"o}lb85,
   AUTHOR = {K{\"o}lbig, K.S.},
   TITLE = {{Explicit Evalutation of Certain Integrals Involving Powers of 
	Logarithms}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {109--114},
   MONTH = {March},
   KEYWORDS = {Definite Integration}}
 
@ARTICLE {BibeAspe85,
   AUTHOR = {Bibel, W. and Aspetsberger, K.},
   TITLE = {{Bibliography on Parallel Inference Machines}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {1},
   PAGES = {115--118},
   MONTH = {March},
   KEYWORDS = {Parallel Computation, Parallel Machines}}
 
@ARTICLE {Bier85,
   AUTHOR = {Biermann, A.W.},
   TITLE = {{Automatic Programming:A Tutorial on Formal Methodologies}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {119--142},
   MONTH = {June},
   KEYWORDS = {Automatic Programming}}
 
@ARTICLE {Butl85,
   AUTHOR = {Butler, G.},
   TITLE = {{Effective Computations with Group Homomorphisms}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {143--158},
   MONTH = {June},
   KEYWORDS = {Computational Group Theory}}
 
@ARTICLE {BartZipp85,
   AUTHOR = {Barton, D.R. and Zippel, R.},
   TITLE = {{Polynomial Decomposition Algorithms}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {159--168},
   MONTH = {June},
   KEYWORDS = {Polynomial Decomposition}}
 
@ARTICLE {BoroFagiHopcTomp85,
   AUTHOR = {Borodin, A. and Fagin, R., Hopcroft, J.E., Tompa, M.},
   TITLE = {{Decreasing the Nesting Depth of Expressions Involving Square
	Roots}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {169--188},
   MONTH = {June},
   KEYWORDS = {Simplification}}
 
@ARTICLE {Zipp85,
   AUTHOR = {Zippel, R.},
   TITLE = {{Simplification of Expressions Involving Radicals}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {189--210},
   MONTH = {June},
   KEYWORDS = {Simplification}}
 
@ARTICLE {Fitc85,
   AUTHOR = {Fitch, J.},
   TITLE = {{Solving Algebraic Problems with REDUCE}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {211--228},
   MONTH = {June},
   KEYWORDS = {REDUCE}}
 
@ARTICLE {Schw85,
   AUTHOR = {Schwarz, F.},
   TITLE = {{An Algorithm for Determining Polynomial First Integrals of 
	Autonomous Systems of Ordinary Differential Equations}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {229--234},
   MONTH = {June},
   KEYWORDS = {Differential Equations, REDUCE, Gr{\"o}bner Bases}}
 
@ARTICLE {NavaWolf85,
   AUTHOR = {Navarro-Saad, M. and Wolf, K.B.},
   TITLE = {{Applications of a Factorization Theorem for Ninth-order 
	Aberration Optics}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {235--240},
   MONTH = {June},
   KEYWORDS = {Factorization, Optics, REDUCE}}
 
@ARTICLE {CoppDave85,
   AUTHOR = {Coppersmith, D. and Davenport, J.H.},
   TITLE = {{An Application of Factoring}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {2},
   PAGES = {241--243},
   MONTH = {June},
   KEYWORDS = {Factorization, Logarithms, Cryptography, SCRATCHPAD}}
 
@ARTICLE {Bibe85,
   AUTHOR = {Bibel, W.},
   TITLE = {{Automated Inferencing}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {3},
   PAGES = {245--260},
   MONTH = {September},
   KEYWORDS = {Automated Theorem Proving}}
 
@ARTICLE {Laza85,
   AUTHOR = {Lazard, D.},
   TITLE = {{Ideal Bases and Primary Primary Decomposition:Case of Two 	
	Variables}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {3},
   PAGES = {261--270},
   MONTH = {September},
   KEYWORDS = {Groebner Bases, Polynomial Ideals, Primary Decomposition}}
 
@ARTICLE {Kris85,
   AUTHOR = {Krishnamurthy, E.V.},
   TITLE = {{Symbolic Iterative Algorithm for Generalized Inversion of Rational 	
	Polynomial Matrices}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {3},
   PAGES = {271--282},
   MONTH = {September},
   KEYWORDS = {Matrices}}
 
@ARTICLE {Cher85,
   AUTHOR = {Cherry, G.W.},
   TITLE = {{Integration in Finite Terms with Special Functions:the Error 
	Function}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {3},
   PAGES = {283--302},
   MONTH = {September},
   KEYWORDS = {Integration, Error Function}}
 
@ARTICLE {Karr85,
   AUTHOR = {Karr, M.},
   TITLE = {{Theory of Summation in Finite Terms}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {3},
   PAGES = {303--316},
   MONTH = {September},
   KEYWORDS = {Summation, Difference Fields}}
 
@ARTICLE {RizzTato85,
   AUTHOR = {Rizzi, M. and Tatone, A.},
   TITLE = {{Using Symbolic Computation in Buckling Analysis}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {3},
   PAGES = {317--322},
   MONTH = {September},
   KEYWORDS = {Differential Equations, REDUCE}}
 
@ARTICLE {CoquHuet85,
   AUTHOR = {Coquand, T. and Huet, G.A.},
   TITLE = {{A Selected Bibliography on Constructive Mathematics,
	Intuitionistic Type Theory and Higher Order Deduction}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {3},
   PAGES = {323--328},
   MONTH = {September},
   KEYWORDS = {Proof Checking, Theorem Proving, Lambda Calculus}}
 
@ARTICLE {BachPlai85,
   AUTHOR = {Bachmair, L. and Plaisted, D.A.},
   TITLE = {{Termination Ordering for Associative Commutative Rewriting
	Systems}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {4},
   PAGES = {329--350},
   MONTH = {December},
   KEYWORDS = {Term Rewriting, Termination}}
 
@ARTICLE {Holt85,
   AUTHOR = {Holt, D.F.},
   TITLE = {{The Mechanical Computation of First and Secon Cohomology Groups}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {4},
   PAGES = {351--362},
   MONTH = {December},
   KEYWORDS = {Computational Group Theory}}
 
@ARTICLE {ButlLam85,
   AUTHOR = {Butler, G. and Lam, C.W.H.},
   TITLE = {{A General Backtrack Algorithm for the Isomorphism Problem of 
	Combinatorial Objects}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {4},
   PAGES = {363--382},
   MONTH = {December},
   KEYWORDS = {Computational Group Theory}}
 
@ARTICLE {MadlOtto85,
   AUTHOR = {Madlener, K. and Otto, F.},
   TITLE = {{Pseudo-Natural Algorithms for the Word Problem for Finitely 
	Presented Monoids and Groups}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {4},
   PAGES = {383--418},
   MONTH = {December},
   KEYWORDS = {Term Rewriting}}
 
@ARTICLE {TombMous85,
   AUTHOR = {Tombal, Ph. and Moussiaux, A.},
   TITLE = {{Computation of the Dirac-Bergmann Algorithm for Hamiltonian 
	Systems with Constraints}},
   JOURNAL = JSC,
   YEAR = {1985},
   VOLUME = {1},
   NUMBER = {4},
   PAGES = {419--421},
   MONTH = {December},
   KEYWORDS = {Physics, MACSYMA, Dynamical Systems}}
 

@ARTICLE {Kova86,
   AUTHOR = {Kovacic, J.J.},
   TITLE = {{An Algorithm for Solving Second Order Linear Homogeneous
	Differential Equations}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {1},
   PAGES = {3--43},
   MONTH = {March},
   KEYWORDS = {Differential Equations}}
 

@ARTICLE {AtkiHass86,
   AUTHOR = {Atkinson, M.D. and Hassan, R.A.},
   TITLE = {{On the Computation of Group Characters}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {1},
   PAGES = {45--50},
   MONTH = {March},
   KEYWORDS = {Computational Group Theory}}
 

@ARTICLE {Slat86,
   AUTHOR = {Slattery, M.C.},
   TITLE = {{Computing Character Degrees in p-Groups}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {1},
   PAGES = {51--58},
   MONTH = {March},
   KEYWORDS = {Computational Group Theory}}
 

@ARTICLE {Pasz86,
   AUTHOR = {Pasztor, A.},
   TITLE = {{Non-Standard Algorithmic and Dynamic Logic}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {1},
   PAGES = {59--81},
   MONTH = {March},
   KEYWORDS = {program verification, first order logic}}
 

@ARTICLE {BoegGebaKred86,
   AUTHOR = {Boege, W., Gebauer, R. and Kredel, H.},
   TITLE = {{Some Examples for Solving Systems of Algebraic Equations by
	 Calculating Groebner Bases}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {1},
   PAGES = {83--98},
   MONTH = {March},
   KEYWORDS = {SAC-2, REDUCE}}
 

@ARTICLE {Baja86,
   AUTHOR = {Bajaj, C.},
   TITLE = {{Proving Geometric Algorithm Non-Solvability:An Application of 
	Factoring Polynomials}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {1},
   PAGES = {99--102},
   MONTH = {March},
   KEYWORDS = {Integer Factorization, MACSYMA, Optimization}}
 

@ARTICLE {WatoKrauBerr86,
   AUTHOR = {Watowich, S.J., Krause, J.L. and Berry, R.S.},
   TITLE = {{Stability Analysis of an Optimally Controlled Light-Driven
	Engine}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {1},
   PAGES = {103--108},
   MONTH = {March},
   KEYWORDS = {MACSYMA, differential equations, numerics}}
 

@ARTICLE {Aven86,
   AUTHOR = {Avenhaus, J.},
   TITLE = {{On the Descriptive Power of Term Rewriting Systems}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {109--122},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {FurbH{\"o}ll86,
   AUTHOR = {Furbach, U. and H{\"o}lldobler, S.},
   TITLE = {{Modelling the Combination of Functional and Logic Programming
	Languages}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {123--138},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {Robb86,
   AUTHOR = {Robbiano, L.},
   TITLE = {{On the Theory of Graded Structures}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {139--170},
   MONTH = {June},
   KEYWORDS = {Gr{\"o}bner Bases, Standard bases}}
 

@ARTICLE {EdelWaup86,
   AUTHOR = {Edelsbrunner, H. and Waupotitsch, R.},
   TITLE = {{Computing a Ham-Sandwich Cut in Two Dimensions}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {171--178},
   MONTH = {June},
   KEYWORDS = {Computational Geometry}}
 

@ARTICLE {CharFeeGeddGonnMona86,
   AUTHOR = {Char, B.W., Fee, G.J., Geddes, K.O., Gonnet, G.H. and Monagan,
	M.B.},
   TITLE = {{A Tutorial Introduction to MAPLE}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {179--200},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {DuncRosk86,
   AUTHOR = {Duncan, A. and Roskies, R.},
   TITLE = {{Representations of Unusual Mathematical Structures in Scientific
	Applications of Symbolic Computation}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {201--206},
   MONTH = {June},
   KEYWORDS = {REDUCE, particle physics, numerics}}
 

@ARTICLE {Trin86,
   AUTHOR = {Trindle, C.},
   TITLE = {{Application of the MuMATH(R) Symbol Manipulation System to
	Chemically Significant Permutation Groups}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {207--212},
   MONTH = {June},
   KEYWORDS = {Chemistry, Computational Group Theory}}
 

@ARTICLE {SteinRoac86,
   AUTHOR = {Steinberg, S. and Roache, P.J.},
   TITLE = {{Using MACSYMA to Write FORTRAN Subroutines}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {2},
   PAGES = {213--216},
   MONTH = {June},
   KEYWORDS = {physics, differential equations, finite differences}}
 

@ARTICLE {Cavi86,
   AUTHOR = {Caviness, B.F.},
   TITLE = {{Computer Algebra: Past and Future}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {3},
   PAGES = {217--236},
   MONTH = {September},
   KEYWORDS = {GCD, Factorization, Polynomial Ideals, Logical Theories, 
	Integration, Summation, Differential Equations, Software Systems,  			
	Transcendental Functions, Parallel Computation, Education}}
 

@ARTICLE {DaveSing86,
   AUTHOR = {Davenport, J.H. and Singer, M.F.},
   TITLE = {{Elementary and Liouvillian Solutions of Linear Differential 		
	Equations}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {3},
   PAGES = {237--260},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Roll86,
   AUTHOR = {Rolletschek, H.},
   TITLE = {{On the Number of Divisions of the Euclidean Algorithm Applied to
	Gaussian Integers}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {3},
   PAGES = {261--291},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {PlaiGree86,
   AUTHOR = {Plaisted, D.A. and Greenbaum, S.},
   TITLE = {{A Structure Preserving Clause Form Translation}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {3},
   PAGES = {293--304},
   MONTH = {September},
   KEYWORDS = {program verification, resolution theorem proving},
 

@ARTICLE {Wang86,
   AUTHOR = {Wang, P.S.},
   TITLE = {{FINGER:A Symbolic System for Automatic Generation of Numerical
	Programs in Finite Element Analysis}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {3},
   PAGES = {305--316},
   MONTH = {September},
   KEYWORDS = {GENTRAN}}
 

@ARTICLE {BookSiek86,
   AUTHOR = {Book, R.V. and Siekmann, J.H.},
   TITLE = {{On Unification:Equational Theories Are Not Bounded}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {4},
   PAGES = {317--324},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Paul86,
   AUTHOR = {Paulson, L.C.},
   TITLE = {{Constructing Recursion Operators in Intuitionistic Type Theory}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {4},
   PAGES = {325--355},
   MONTH = {December},
   KEYWORDS = {program verification, theorem proving}}
 

@ARTICLE {Brem86,
   AUTHOR = {Bremner, M.R.},
   TITLE = {{Fast Computation of Weight Multiplicities}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {4},
   PAGES = {357--362},
   MONTH = {December},
   KEYWORDS = {Lie algebra}}
 

@ARTICLE {LeCh86,
   AUTHOR = {LeChenadec, P.},
   TITLE = {{A Catalogue of Complete Group Presentations}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {4},
   PAGES = {363--381},
   MONTH = {December},
   KEYWORDS = {Rewriting, Church-Rosser}}
 

@ARTICLE {ArmbKred86,
   AUTHOR = {Armbruster, D. and Kredel, H.},
   TITLE = {{Constructing Universal Unfoldings Using Groebner Bases}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {4},
   PAGES = {383--388},
   MONTH = {December},
   KEYWORDS = {Bifurcation, Singularities}}
 

@ARTICLE {KutzStif86,
   AUTHOR = {Kutzler, B. and Stifter, S.},
   TITLE = {{On the Application of Buchberger's Algorithm to Automated Geometry
	Theorem Proving}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {4},
   PAGES = {389--397},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Kapu86,
   AUTHOR = {Kapur, D.},
   TITLE = {{Using Groebner Bases to Reason About Geometry Problems}},
   JOURNAL = JSC,
   YEAR = {1986},
   VOLUME = {2},
   NUMBER = {4},
   PAGES = {399--408},
   MONTH = {December},
   KEYWORDS = {Geometrical Theorem Proving}}
 

@ARTICLE {Buch87,
   AUTHOR = {Buchberger, B.},
   TITLE = {{History and Basic Features of the Critical-Pair/Completion
	Procedure}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {3--38},
   MONTH = {February&April},
   KEYWORDS = {Resolution, Theorem Proving, Rewrite, Knuth-Bendix, 	
	Church-Rosser, Gr{\"o}bner Bases}}
 

@ARTICLE {Book87,
   AUTHOR = {Book, R.V.},
   TITLE = {{Thue Systems as Rewriting Systems}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {39--68},
   MONTH = {February&April},
   KEYWORDS = {}}
 

@ARTICLE {Ders87,
   AUTHOR = {Dershowitz, N.},
   TITLE = {{Termination of Rewriting}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {69--115},
   MONTH = {February&April},
   KEYWORDS = {}}
 

@ARTICLE {Rusi87,
   AUTHOR = {Rusinowitch, M.},
   TITLE = {{Path of Subterms Ordering and Recursive Decomposition Ordering 
	Revisited}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {117--131},
   MONTH = {February&April},
   KEYWORDS = {Rewrite, Termination}}
 

@ARTICLE {Hsia87,
   AUTHOR = {Hsiang, J.},
   TITLE = {{	Rewrite Method for Theorem Proving in First Order Theory with 
	Equality}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {133--151},
   MONTH = {February&April},
   KEYWORDS = {}}
 

@ARTICLE {Yeli87,
   AUTHOR = {Yelick, K.A.},
   TITLE = {{Unification in Combinations of Collapse-Free Regular Theories}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {153--181},
   MONTH = {February&April},
   KEYWORDS = {Rewrite}}
 

@ARTICLE {TideArnb87,
   AUTHOR = {Tiden, E. and Arnborg, S.},
   TITLE = {{Unification Problems with One-Sided Distributivity}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {183--202},
   MONTH = {February&April},
   KEYWORDS = {Rewrite}}
 

@ARTICLE {BenaKapuNare87,
   AUTHOR = {Benanav, D, Kapur, D. and Narendran, P.},
   TITLE = {{Complexity of Matching Problems}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {1&2},
   PAGES = {203--216},
   MONTH = {February&April},
   KEYWORDS = {Rewrite, Unification}}
 

@ARTICLE {Fort87,
   AUTHOR = {Fortenbacher, A.},
   TITLE = {{An Algebraic Approach to Unification Under Associativity and 
	Commutativity}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {217--229},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {Sims87,
   AUTHOR = {Sims, C.C.},
   TITLE = {{Verifying Nilpotence}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {231--247},
   MONTH = {June},
   KEYWORDS = {Finitely Presented Group, Rewriting}}
 

@ARTICLE {Aure87,
   AUTHOR = {Aurenhammer, F.},
   TITLE = {{Recognising Polytopical Cell Complexes and Constructing Projection
	Polyhedra}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {249--255},
   MONTH = {June},
   KEYWORDS = {Computational Geometry, Voronoi Diagrams}}
 

@ARTICLE {Fage87,
   AUTHOR = {Fages, F.},
   TITLE = {{Associative-Commutative Unification}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {257--275},
   MONTH = {June},
   KEYWORDS = {diophantine equations}}
 

@ARTICLE {OgilTipp87,
   AUTHOR = {Ogilvie, J.F. and Tipping, R.H.},
   TITLE = {{On the Analytic Solution by Computer Algebra of Some Problems
	in the Vibration-rotational Spectroscopy of Diatomic Molecules}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {277--281},
   MONTH = {June},
   KEYWORDS = {chemistry, REDUCE}}
 

@ARTICLE {BeyeHell87,
   AUTHOR = {Beyer, W.A. and Heller, L.},
   TITLE = {{A Steiner Tree Associated with Tree Quarks}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {283--289},
   MONTH = {June},
   KEYWORDS = {MACSYMA}}
 

@ARTICLE {Mill87,
   AUTHOR = {Mills, R.D.},
   TITLE = {{Using a Small Algebraic Manipulation System to Solve Differential
	and Integral Equations by Variational and Approximation Techniques}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {291--301},
   MONTH = {June},
   KEYWORDS = {MuMATH}}
 

@ARTICLE {SemjMelnEvst87,
   AUTHOR = {Semjonov, A.L., Melnikov, L.S. and Evstigneev, V.A.},
   TITLE = {{Solving the Problems of Kinetics of Complex Reactions by Symbolic
	Algebraic Manipulation Methods}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {3},
   NUMBER = {3},
   PAGES = {303--307},
   MONTH = {June},
   KEYWORDS = {Kinetics, Physics, Polynomials, ARAP, YARMO}}
 

@ARTICLE {B{\"o}ffReic87,
   AUTHOR = {B{\"o}ffgen, R. and Reichert, M.A.},
   TITLE = {{Computing the Decomposition of Primes p and p-adic Absolute Values 
	in Semisimple Algebras over Q}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {3--10},
   MONTH = {August},
   KEYWORDS = {Factorization}}
 

@ARTICLE {BuchWill87,
   AUTHOR = {Buchmann, J. Williams, H.C.},
   TITLE = {{On Principal Ideal Testing in Algebraic Number Fields}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {11--19},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {CerlMignPira87,
   AUTHOR = {Cerlienco, L., Mignotte, M. and Piras, F.},
   TITLE = {{Computing the Measure of a Polynomial}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {21--33},
   MONTH = {August},
   KEYWORDS = {Solutions of Polynomials, numerics, elimination}}
 

@ARTICLE {CohnDeut87,
   AUTHOR = {Cohn, H. and Deutsch J.I.},
   TITLE = {{Application of Symbolic Manipulation to the Hecke Transformations 
	of Modular Forms in Two Variables, II}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {35--40},
   MONTH = {August},
   KEYWORDS = {MACSYMA, Computational Number Theory, Algebraic Number Fields}}
 

@ARTICLE {Eckh87,
   AUTHOR = {Eckhardt, C.},
   TITLE = {{Computation of Class Numbers by an Analytic Method}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {41--52},
   MONTH = {August},
   KEYWORDS = {Algebraic Number Fields}}
 

@ARTICLE {FolzZimm87,
   AUTHOR = {Folz, H.G. and Zimmer, H.G.},
   TITLE = {{What is the Rank of the Demjanenko Matrix?}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {53--67},
   MONTH = {August},
   KEYWORDS = {Elliptic Curves, Algebraic Number Fields}}
 

@ARTICLE {Ford87,
   AUTHOR = {Ford, D.J.},
   TITLE = {{The Construction of Maximal Orders Over a Dedekind Domain}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {69--75},
   MONTH = {August},
   KEYWORDS = {algebraic decomposition, p-adic, Residue Domains}}
 

@ARTICLE {Kalt87,
   AUTHOR = {Kaltofen, E.},
   TITLE = {{Deterministic Irreducibility Testing of Polynomials over Large 
	Finite Fields}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {77--82},
   MONTH = {August},
   KEYWORDS = {Berlekamp's Algorithm}}
 

@ARTICLE {Mall87,
   AUTHOR = {Malle, G.},
   TITLE = {{Polynomials for Primitive Nonsolvable Permutation Groups of Degree
	<= 15}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {83--92},
   MONTH = {August},
   KEYWORDS = {Galois Groups}}
 

@ARTICLE {MatzZeh87,
   AUTHOR = {Matzat, B.H. and Zeh-Marschke, A.},
   TITLE = {{Polynomials with Galois Group M11 over Q}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {93--97},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Maus87,
   AUTHOR = {Maus, E.},
   TITLE = {{Computation of Integral Bases in Certain Sn Extensions of Q}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {99--102},
   MONTH = {August},
   KEYWORDS = {Galois Extensions, Galois Group}}
 

@ARTICLE {Peth87,
   AUTHOR = {Peth{\"o}, A.},
   TITLE = {{On the Resolution of Thue Inequalities}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {103--109},
   MONTH = {August},
   KEYWORDS = {Diophantine Inequalities}}
 

@ARTICLE Ples87,
   AUTHOR = {Plesken, W.},
   TITLE = {{Towards a Soluble Quotient Algorithm}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {111--122},
   MONTH = {August},
   KEYWORDS = {factor groups, finitely presented groups}}
 

@ARTICLE {Pohs87,
   AUTHOR = {Pohst, M.},
   TITLE = {{A Modification  of the LLL-Reduction Algorithm}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {1},
   PAGES = {123--127},
   MONTH = {August},
   KEYWORDS = {lattices}}
 

@ARTICLE {VonZ87,
   AUTHOR = {Von Zur Gathen, J.},
   TITLE = {{Feasible Arithmetic Computations:Valiant's Hypothesis}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {2},
   PAGES = {137-172},
   MONTH = {October},
   KEYWORDS = {P=NP, Complexity, Polynomials}}
 

@ARTICLE {MurrRose87,
   AUTHOR = {Murray, N.V. and Rosenthal, E.},
   TITLE = {{Theory Links:Applications to Automated Theorem Proving}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {2},
   PAGES = {173--190},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {B{\"u}ttSimo87,
   AUTHOR = {B{\"u}ttner, W. and Simonis, H.},
   TITLE = {{Embedding Boolean Expressions into Logic Programming}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {2},
   PAGES = {191--205},
   MONTH = {October},
   KEYWORDS = {Unification}}
 

@ARTICLE {PaigHeng87,
   AUTHOR = {Paige, R. Henglein, F.},
   TITLE = {{Mechanical Tranlation of Set Theoretic Problem Specifications
	into Efficient RAM Code - A Case Study}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {2},
   PAGES = {207--232},
   MONTH = {October},
   KEYWORDS = {Program Synthesis, program transformation, RAPTS}}
 

@ARTICLE {Gall87,
   AUTHOR = {Gallier, J.H.},
   TITLE = {{Fast Algorithms for Testing Unsatisfiability of Ground Horn 	
	Clauses with Equations}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {2},
   PAGES = {233--254},
   MONTH = {October},
   KEYWORDS = {Congruence Closure, Automated Theorem Proving}}
 

@ARTICLE {Royl87,
   AUTHOR = {Royle, G.F.},
   TITLE = {{The Transitive Groups of Degree Twelve}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {2},
   PAGES = {255--268},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Gibe87,
   AUTHOR = {Gibert, J.},
   TITLE = {{Functional Programming with Combinators}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {269--293},
   MONTH = {December},
   KEYWORDS = {Parallel Computation}}
 

@ARTICLE {Kapl87,
   AUTHOR = {Kaplan, S.},
   TITLE = {{Simplifying Conditional Term Rewriting Systems}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {295--334},
   MONTH = {December},
   KEYWORDS = {Unification K:Knuth-Bendix}}
 

@ARTICLE {Hila87,
   AUTHOR = {Hilali, A.},
   TITLE = {{On the Aglebraic and Differential Newton-Puiseux Polygons}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {335--349},
   MONTH = {December},
   KEYWORDS = {Differential equations}}
 

@ARTICLE {Stif87,
   AUTHOR = {Stifter, S.},
   TITLE = {{A Generalization of Reduction Rings}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {351--364},
   MONTH = {December},
   KEYWORDS = {Gr{\"o}bner Bases}}
 

@ARTICLE {YounWang87,
   AUTHOR = {Young, D.A. and Wang, P.S.},
   TITLE = {{GI/S:A Graphical User Interface for Symbolic Computation 	
	Systems}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {365--380},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {BeyeFawcMaulSwart87,
   AUTHOR = {Beyer, W.A., Fawcett, L.R., Mauldin, R.D. and Swartz, B.K.},
   TITLE = {{The Volume Common to Two Congruent Circular Cones}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {381--390},
   MONTH = {December},
   KEYWORDS = {MACSYMA, Geometry}}
 

@ARTICLE {ElisCouc87,
   AUTHOR = {Elishakoff, I. and Couch, B.},
   TITLE = {{Applications of Symbolic Algebra to the Instability of a 
	Nonconservative System}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {391--396},
   MONTH = {December},
   KEYWORDS = {REDUCE, physics}}
 

@ARTICLE {BandDevi87,
   AUTHOR = {Bandyopadhyay, S. and Devitt, J.S.},
   TITLE = {{SIS - A Symbolic Information Management System}},
   JOURNAL = JSC,
   YEAR = {1987},
   VOLUME = {4},
   NUMBER = {3},
   PAGES = {397--408},
   MONTH = {December},
   KEYWORDS = {MAPLE}}
 

@ARTICLE {Weis88,
   AUTHOR = {Weispfenning, V.},
   TITLE = {{The Complexity of Almost Linear Diophantine Problems}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {3--28},
   MONTH = {February/April},
   KEYWORDS = {}}


@ARTICLE {DaveHein88,
   AUTHOR = {Davenport, J.H. and Heintz, J.},
   TITLE = {{Real Quantifier Elimination is Doubly Exponential}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {29--36},
   MONTH = {February/April},
   KEYWORDS = {Cylindrical Algebraic Decomposition, Real Algebraic Geometry}}


@ARTICLE {GrigVoro88,
   AUTHOR = {Grigor�ev, D.Yu and Vorobjov, N.N.(Jr.)},
   TITLE = {{Solving Systems of Polynomial Inequalities in Subexponential 	
	Time}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {37--64},
   MONTH = {February/April},
   KEYWORDS = {}}


@ARTICLE {Grig88,
   AUTHOR = {Grigor�ev, D.Yu},
   TITLE = {{Complexity of Deciding Tarski Algebra}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {65--108},
   MONTH = {February/April},
   KEYWORDS = {Decision algorithm, Real Closed Fields}}


@ARTICLE {Risl88,
   AUTHOR = {Risler, J.J.},
   TITLE = {{Some Aspects of Complexity in Real Algebraic Geometry}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {109--120},
   MONTH = {February/April},
   KEYWORDS = {}}


@ARTICLE {CostRoy88,
   AUTHOR = {Coste, M. and Roy, M.F.},
   TITLE = {{Thom's Lemma, the Coding of Real Algebraic Numbers and the 
	Computation of the Topology of Semi-Algebraic Sets}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {121--130},
   MONTH = {February/April},
   KEYWORDS = {Real algebraic geometry}}


@ARTICLE {ArnbFeng88,
   AUTHOR = {Arnborg, S. and Feng, H.},
   TITLE = {{Algebraic Decomposition of Regular Curves}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {131--140},
   MONTH = {February/April},
   KEYWORDS = {Cylindrical Algebraic Decomposition}}


@ARTICLE {Mcca88,
   AUTHOR = {McCallum, S.},
   TITLE = {{An Improved Projection Operation for Cylindrical Algebraic 
	Decomposition of Three-Dimensional Space}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {141--162},
   MONTH = {February/April},
   KEYWORDS = {}}


@ARTICLE {ArnoCollMcca88,
   AUTHOR = {Arnon, D.S., Collins, G.E. and McCallum, S.},
   TITLE = {{An Adjacency Algorithm for Cylindrical Algebraic Decompositions
	of Three-Dimensional Space}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {163--188},
   MONTH = {February/April},
   KEYWORDS = {}}


@ARTICLE {Arno88,
   AUTHOR = {Arnon, D.S.},
   TITLE = {{A Cluster-Based Cylindrical Algebraic Decomposition Algorithm}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {189--212},
   MONTH = {February/April},
   KEYWORDS = {}}


@ARTICLE {ArnoMcca88,
   AUTHOR = {Arnon, D.S. and McCallum, S.},
   TITLE = {{A Polynomial-Time Algorithm for the Topological Type of a Real
	Algebraic Curve}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {213--236},
   MONTH = {February/April},
   KEYWORDS = {cylindrical algebraic decomposition}}


@ARTICLE {ArnoMign88,
   AUTHOR = {Arnon, D.S. and Mignotte, M.},
   TITLE = {{On Mechanical Quantifier Elimination for Elementary Algebra and
	Geometry}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {237--260},
   MONTH = {February/April},
   KEYWORDS = {}}


@ARTICLE {Laza88,
   AUTHOR = {Lazard, D.},
   TITLE = {{Quantifier Elimination:Optimal Solutions for Two Classical
	Examples}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {261--266},
   MONTH = {February/April},
   KEYWORDS = {Real Algebraic Geometry}}


@ARTICLE {Arno88,
   AUTHOR = {Arnon, D.S.},
   TITLE = {{Bibliography on Algorithms in Real Algebra Geometry}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {1&2},
   PAGES = {267--274},
   MONTH = {February/April},
   KEYWORDS = {}}



@ARTICLE {Butl88,
   AUTHOR = {Butler, G.},
   TITLE = {{A Proof of Holt's Algorithm}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {275--284},
   MONTH = {June},
   KEYWORDS = {Groups}}


@ARTICLE {Glas88,
   AUTHOR = {Glasby, S.P.},
   TITLE = {{Constructing Normalisers in Finite Soluble Groups}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {285--294},
   MONTH = {June},
   KEYWORDS = {}}


@ARTICLE {88,
   AUTHOR = {Glasby, S.P.},
   TITLE = {{Intersecting Subgroups of Finite Soluble Groups}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {295--302},
   MONTH = {June},
   KEYWORDS = {}}


@ARTICLE {KobaFujiFuru88,
   AUTHOR = {Kobayashi, H., Fujise, T. and Furukawa, A.},
   TITLE = {{Solving Systems of Algebraic Equations by a General Elimination
	Method}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {303--320},
   MONTH = {June},
   KEYWORDS = {Factorization, Gr{\"o}bner Bases}}


@ARTICLE {Saka88,
   AUTHOR = {Sakatam S.},
   TITLE = {{Finding a Minimal Set of Linear Recurring Relations Capable of
	Generating a Given Finite Two-Dimensional Array}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {321--338},
   MONTH = {June},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {MadlOtto88,
   AUTHOR = {Madlener, K. and Otto, F.},
   TITLE = {{Pseudo-Natural Algorithms for Finitely Generated Presentations
	of Monoids and Groups}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {339--358},
   MONTH = {June},
   KEYWORDS = {Knuth-Bendix, Gr{\"o}bner bases, Rewriting}}


@ARTICLE {MintsTyug88,
   AUTHOR = {Mints, G. and Tyugu, E.},
   TITLE = {{The Programming System PRIZ}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {359--376},
   MONTH = {June},
   KEYWORDS = {program synthesis, UTOPIST, intuitionistic systems, lambda 
	calculus, PROLOG}}


@ARTICLE {Sage88,
   AUTHOR = {Sage, M.L.},
   TITLE = {{An Algebraic Treatment of Quantum Vibration Using REDUCE}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {377--384},
   MONTH = {June},
   KEYWORDS = {non-commuting, physics, chemistry}}


@ARTICLE {Mawa88,
   AUTHOR = {Mawata, C.P.},
   TITLE = {{Solving the Heat Equation Symbolically With MUSIMP}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {5},
   NUMBER = {3},
   PAGES = {385--389},
   MONTH = {June},
   KEYWORDS = {Physics}}



@ARTICLE {BachDers88,
   AUTHOR = {Bachmair, L and Dershowitz, N.},
   TITLE = {{Critical Pair Criteria for Completion}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {1--18},
   MONTH = {August},
   KEYWORDS = {Knuth-Bendix, Rewrite}}


@ARTICLE {KapuMussNare88,
   AUTHOR = {Kapur, D., Musser, D.R. and Narendran, P.},
   TITLE = {{Only Prime Superpositions Need be Considered in the Knuth-Bendix
	Completion Procedure}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {19--36},
   MONTH = {August},
   KEYWORDS = {Term Rewriting, Church Rosser}}


@ARTICLE {KandKapu88,
   AUTHOR = {Kandri-Rody, A. and Kapur, D.},
   TITLE = {{Computing a Groebner Basis of a Polynomial Ideal over a 	
	Euclidean Domain}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {37--58},
   MONTH = {August},
   KEYWORDS = {}}


@ARTICLE {Robe88,
   AUTHOR = {Robertson, E.F.},
   TITLE = {{Tietze Transformations with Weighted Substring Search}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {59--64},
   MONTH = {August},
   KEYWORDS = {Groups}}


@ARTICLE {MyerGokh88,
   AUTHOR = {Myers, T.J. and Gokhale, M.B.},
   TITLE = {{Parallel Scheduling of Recursively Defined Arrays}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {65--82},
   MONTH = {August},
   KEYWORDS = {program synthesis, program transformation}}


@ARTICLE {CantGhelOmod88,
   AUTHOR = {Cantone, D., Ghelfo, S. and Omodeo, E.},
   TITLE = {{The Automation of Syllogistic. I. Syllogistic Normal Forms}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = 82--98},
   MONTH = {August},
   KEYWORDS = {set theory, theorem proving}}


@ARTICLE {Wrat88,
   AUTHOR = {Wrathall, C.},
   TITLE = {{The Word Problem for Free Partially Commutative Groups}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {99--104},
   MONTH = {August},
   KEYWORDS = {}}


@ARTICLE {Mich88,
   AUTHOR = {Michler, G.O.},
   TITLE = {{An Algorithm for Determining the Simplicity of a Modular Group
	Representation}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {105--112},
   MONTH = {August},
   KEYWORDS = {}}


@ARTICLE {DixmLaza88,
   AUTHOR = {Dixmier, J. and Lazard, D.},
   TITLE = {{Minimum Number of Fondamental Invariants for the Binary Form of
	Degree 7}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {113--116},
   MONTH = {August},
   KEYWORDS = {}}


@ARTICLE {Ollo88,
   AUTHOR = {Ollongren, A.},
   TITLE = {{On a Restricted Five-Body Problem:An Analysis with Computer 	
	Algebra}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {117--127},
   MONTH = {August},
   KEYWORDS = {REDUCE, MuMATH}}


@ARTICLE {Dave88,
   AUTHOR = {Davenport, J.H.},
   TITLE = {{Computer Algebra Applied to Itself}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {1},
   PAGES = {127--132},
   MONTH = {August},
   KEYWORDS = {Complexity, Real root isolation, REDUCE}}


@ARTICLE {BayeStil88,
   AUTHOR = {Bayer, D. and Stillman, M.},
   TITLE = {{On the Complexity of Computing Syzygies}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {135--148},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner bases}}


@ARTICLE {GianTragZach88,
   AUTHOR = {Gianni, P., Trager, B. and Zacharias, G.},
   TITLE = {{Gr{\"o}bner bases and primary decomposition of polynomial 	
	ideals}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {149--168},
   MONTH = {October/December},
   KEYWORDS = {}}


@ARTICLE {Shto88,
   AUTHOR = {Shtokhamer, R.},
   TITLE = {{Lifting Canoncial Algorithms from a Ring R to the Ring R[x]}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {169--182},
   MONTH = {October/December},
   KEYWORDS = {Polynomial Ideal Theory}}


@ARTICLE {MoraRobb88,
   AUTHOR = {Mora, T. and Robbiano, L.},
   TITLE = {{The Gr{\"o}bner Fan of an Ideal}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {183--208},
   MONTH = {October/December},
   KEYWORDS = {Universal Gr{\"o}bner Bases, polynomial ideals}}


@ARTICLE {BayeMorr88,
   AUTHOR = {Bayer, D. and Morrison, I.},
   TITLE = {{Standard Bases and Geometric Invariant Theory I, Initial Ideals 	
	and State Polytopes}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {209--218},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {Carr88,
   AUTHOR = {Carra Ferro, G.},
   TITLE = {{Gr{\"o}bner bases and Hilbert schemes. I.}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {219--230},
   MONTH = {October/December},
   KEYWORDS = {}}


@ARTICLE {KredWeis88,
   AUTHOR = {Kredel, H. and Weispfenning, V.},
   TITLE = {{Computing dimension and independent sets for polynomial 
	ideals}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {231--248},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {Gius88,
   AUTHOR = {Giusti, M.},
   TITLE = {{Combinatorial dimension theory of algebraic varieties}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {249--266},
   MONTH = {October/December},
   KEYWORDS = {algebraic geometry}}


@ARTICLE {ShanSwee88,
   AUTHOR = {Shannon, D. and Sweedler, M.},
   TITLE = {{Using Gr{\"o}bner Bases to determine algebra membership, split 	
	surjective algebra homomorphisms and determine birational 	
	equivalence}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {267--274},
   MONTH = {October/December},
   KEYWORDS = {}}


@ARTICLE {GebaM{\"o}ll88,
   AUTHOR = {Gebauer, R. and M{\"o}ller, H.M.},
   TITLE = {{On an Installation of Buchberger's Algorithm}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {275--286},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {Wink88,
   AUTHOR = {Winkler, F.},
   TITLE = {{A p-Adic Approach to the Computation of Gr{\"o}bner Bases}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {287--304},
   MONTH = {October/December},
   KEYWORDS = {polynomial ideals}}


@ARTICLE {MiolMora88,
   AUTHOR = {Miola, A. and Mora, T.},
   TITLE = {{Constructive lifting in graded structures:a unified view of 
	Gr{\"o}bner and Hensel methods}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {305--322},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {BrunRoss88,
   AUTHOR = {Brundu, M. and Rossi, F.},
   TITLE = {{On the computation of generalised standard bases}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {323--344},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {M{\"o}ll88,
   AUTHOR = {M{\"o}ller, H.M.},
   TITLE = {{On the Computation of Gr{\"o}bner Bases in Commutative Rings}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {345--360},
   MONTH = {October/December},
   KEYWORDS = {}}


@ARTICLE {ApelLass88,
   AUTHOR = {Apel, J. and Lassner, W.},
   TITLE = {{An Extension of Buchberger's Algorithm and Calculations
	in Enveloping Fields of Lie Algbras}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {361--370},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner Bases, Lie Algebra, AMP, syzygies}}


@ARTICLE {GateLaty88,
   AUTHOR = {Gateva-Ivanova, T. and Latyshev, V.},
   TITLE = {{On Recognizable Properties of Associative Algebras}},
   JOURNAL = JSC,
   YEAR = {1988},
   VOLUME = {6},
   NUMBER = {2&3},
   PAGES = {371--388},
   MONTH = {October/December},
   KEYWORDS = {Gr{\"o}bner Bases}}



@ARTICLE {SchoOver89,
   AUTHOR = {Scholten, H.W. and Overmars, M.H.},
   TITLE = {{General Methods for Adding Range Restrictions to Decomposable
	Searching Problems}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {1--10},
   MONTH = {January},
   KEYWORDS = {Computational Geometry}}


@ARTICLE {ColeShar89,
   AUTHOR = {Cole, R. and Sharir, M.},
   TITLE = {{Visibility Problems for Polyhedral Terrains}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {11--30},
   MONTH = {January},
   KEYWORDS = {Davenport-Schinzel, Geometry}}


@ARTICLE {CharGeddGonn89,
   AUTHOR = {Char, B.W., Geddes, K.O. and Gonnet, G.H.},
   TITLE = {{GCDHEU:Heuristic Polynomial GCD Algorithm Based on Integer
	GCD Computation}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {31--48},
   MONTH = {January},
   KEYWORDS = {}}


@ARTICLE {Czap89,
   AUTHOR = {Czapor, S.R.},
   TITLE = {{Solving Algebraic Equations:Combining Buchberger's Algorithm
	with Multivariate Factorization}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {49--54},
   MONTH = {January},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {Pan89,
   AUTHOR = {Pan, L.},
   TITLE = {{On the D-Basis of Polynomial Ideals over Principal Ideal 
	Domains}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {55--70},
   MONTH = {January},
   KEYWORDS = {Gr{\"o}bner Bases}}


@ARTICLE {SterBundByrdOKeeSilv89,
   AUTHOR = {Sterling, L., Bundy, A., Byrd, L., O'Keefe, R. and Silver, B.},
   TITLE = {{Solving Symbolic Equations with PRESS}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {71--84},
   MONTH = {January},
   KEYWORDS = {transcendental functions, meta-level inference}}


@ARTICLE {TombMous89,
   AUTHOR = {Tombal, Ph. and Moussiaux, A.},
   TITLE = {{Algebraic Programming of Geometrical Calculus and Clifford 
	Algebra}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {85--92},
   MONTH = {January},
   KEYWORDS = {MACSYMA}}


@ARTICLE {Ng89,
   AUTHOR = {Ng, T.B.},
   TITLE = {{Computation of the Cohomology of BSOn<16> for 23 <= n <= 26}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {1},
   PAGES = {93--100},
   MONTH = {January},
   KEYWORDS = {REDUCE, Groebner bases}}


@ARTICLE {Stat89,
   AUTHOR = {Statman, R.},
   TITLE = {{The Word Problem for Smullyan's Lark Combinator is Decidable}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {103--112},
   MONTH = {February},
   KEYWORDS = {Church-Rosser}}


@ARTICLE {Taka89,
   AUTHOR = {Takahashi, M.},
   TITLE = {{Parallel Reduction in Lambda-Calculus}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {113--124},
   MONTH = {February},
   KEYWORDS = {Church-Rosser}}


@ARTICLE {DescBruy89,
   AUTHOR = {De Schreye, D. and Bruynooghe, M.},
   TITLE = {{On the Transformation of Logic Programs with Instantiation Based
	Computation Rules}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {125--154},
   MONTH = {February},
   KEYWORDS = {program transformation}}


@ARTICLE {PittStri89,
   AUTHOR = {Pittaluga, M. and Strickland, E.},
   TITLE = {{A Computer Oriented Algorithm for the Determination of the 
	Dimension and Character of a Modular Irreducible SL(n,K)-Module}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {155--162},
   MONTH = {February},
   KEYWORDS = {Groups}}


@ARTICLE {DuttBrigCome89,
   AUTHOR = {Dutton, R.D., Brigham, R.C. and Gomez, F.},
   TITLE = {{INGRID:A Graph Invariant Manipulator}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {163--178},
   MONTH = {February},
   KEYWORDS = {}}


@ARTICLE {Voro89,
   AUTHOR = {Voronstov, S.A.},
   TITLE = {{An Example of the Application of Symbolic Computation to Solid 
	State JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {179--182},
   MONTH = {February},
   KEYWORDS = {}}


@ARTICLE {AutiBeng89,
   AUTHOR = {Autin, B. and Bengtsson, J.},
   TITLE = {{Application of Symbolic Computation to the Search of Complicated
	Primitives:The Examples of the Betatron Integrals}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {183--188},
   MONTH = {February},
   KEYWORDS = {Particle physics, numerics}}


@ARTICLE {Magn89,
   AUTHOR = {Magnan, J.F.},
   TITLE = {{A MACSYMA Program for the Multiple Bifurcation Analysis of 
	Double-Diffusive Convection}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {189--198},
   MONTH = {February},
   KEYWORDS = {non-liner partial differential equations}}


@ARTICLE {HirsSchr89,
   AUTHOR = {Hirschberg, W. and Schramm, D.},
   TITLE = {{Application of NEWEUL in Robot Dynamics}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {2},
   PAGES = {199--204},
   MONTH = {February},
   KEYWORDS = {multibody systems, engineering, motion, Numerics}}


@ARTICLE {Siek89,
   AUTHOR = {Siekmann, J.H.},
   TITLE = {{Unification Theory}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {3&4},
   PAGES = {207-274},
   MONTH = {March/April},
   KEYWORDS = {}}


@ARTICLE {MartNipk89,
   AUTHOR = {Martin, U. and Nipkow, T.},
   TITLE = {{Boolean Unification- The Story So Far}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {3&4},
   PAGES = {275-294},
   MONTH = {March/April},
   KEYWORDS = {}}


@ARTICLE {NuttRetySmol89,
   AUTHOR = {Nutt, W., R�ty, P. and Smolka, G.},
   TITLE = {{Basic Narrowing Revisited}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {3&4},
   PAGES = {295--318},
   MONTH = {March/April},
   KEYWORDS = {Unification}}


@ARTICLE {You89,
   AUTHOR = {You, J.H.},
   TITLE = {{Enumerating Outer Narrowing Derivations for Constructor-Based 
	Term Rewriting Systems}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {3&4},
   PAGES = {319--342},
   MONTH = {March/April},
   KEYWORDS = {Unification}}


@ARTICLE {SmolAitk89,
   AUTHOR = {Smolka, G. and Ait-Kaci, H.},
   TITLE = {{Inheritance Hierarchies:Semantics and Unification}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {3&4},
   PAGES = {343--370},
   MONTH = {March/April},
   KEYWORDS = {}}


@ARTICLE {ComoLesc89,
   AUTHOR = {Comon, H. and Lescanne P.},
   TITLE = {{Equational Problems and Disunification}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {3&4},
   PAGES = {371--426},
   MONTH = {March/April},
   KEYWORDS = {Unification}}


@ARTICLE {KaneReve89,
   AUTHOR = {Kanellakis, P.C. and Revesz, P.Z.},
   TITLE = {{On the Relationship of Congruence Closure and Unification}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {3&4},
   PAGES = {427--444},
   MONTH = {March/April},
   KEYWORDS = {}}


@ARTICLE {KozeLand89,
   AUTHOR = {Kozen, D. and Landau, S.},
   TITLE = {{Polynomial Decomposition Algorithms}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {5},
   PAGES = {445--456},
   MONTH = {May},
   KEYWORDS = {}}


@ARTICLE {NareOdun89,
   AUTHOR = {Narendran, P. and O�Dunlaing, C.},
   TITLE = {{Cancellativity in Finitely Presented Semigroups}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {5},
   PAGES = {457--472},
   MONTH = {May},
   KEYWORDS = {Church-Rosser, Thue systems}}


@ARTICLE {LamThie89,
   AUTHOR = {Lam, C.W.H. and Thiel, L.},
   TITLE = {{Backtrack Search with Isomorph Rejection and Consistency 
	Check}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {5},
   PAGES = {473--486},
   MONTH = {May},
   KEYWORDS = {Groups}}


@ARTICLE {Moze89,
   AUTHOR = {Mozes, E.},
   TITLE = {{A Deductive Database based on Aristotelian Logic}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {5},
   PAGES = {487--508},
   MONTH = {May},
   KEYWORDS = {Theorem Proving}}


@ARTICLE {LassMcalPort89,
   AUTHOR = {Lassez, C., McAloon, K. and Port, G.},
   TITLE = {{Stratification and Knowledge Base Management}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {5},
   PAGES = {509--522},
   MONTH = {May},
   KEYWORDS = {Expert Systems}}


@ARTICLE {Doss89,
   AUTHOR = {Dos Santos, R.P.},
   TITLE = {{Using REDUCE in Supersymmetry}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {5},
   PAGES = {523--525},
   MONTH = {May},
   KEYWORDS = {REDUCE Supersymmetry}}


@ARTICLE {MartPfis89,
   AUTHOR = {Martin, B. and Pfister, G.},
   TITLE = {{The Kernel of the Kodaira-Spencer-Map of the Versal mu-Constant
	Deformation of an Irreducible Plane Curve Singularity with 
	C*-Action}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {6},
   PAGES = {527--532},
   MONTH = {June},
   KEYWORDS = {Algebraic Geometry}}
 

@ARTICLE {Trau89,
   AUTHOR = {Traugott, J.},
   TITLE = {{Deductive Synthesis of Sorting Programs}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {6},
   PAGES = {533--572},
   MONTH = {June},
   KEYWORDS = {Program Synthesis}}
 

@ARTICLE {SuppTaka89,
   AUTHOR = {Suppes, P. and Takahashi, S.},
   TITLE = {{An Interactive Calcules Theorem-Prover for Continuity 
	Properties}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {6},
   PAGES = {573--590},
   MONTH = {June},
   KEYWORDS = {Analysis}}
 

@ARTICLE {GonzZhen89,
   AUTHOR = {Gonzales, T. and Zheng. S.Q.},
   TITLE = {{Improved Bounds for Rectangular and Guillotine Partitions}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {6},
   PAGES = {591--610},
   MONTH = {June},
   KEYWORDS = {computational geometry, complexity}}
 

@ARTICLE {FushKorn89,
   AUTHOR = {Fushchich, W.I. and Kornyak, V.V.},
   TITLE = {{Computer Algebra Application for Determining Lie and 
	Lie-Baecklund Symmetries of Differential Equations}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {7},
   NUMBER = {6},
   PAGES = {611--619},
   MONTH = {June},
   KEYWORDS = {REDUCE, FORMAC}}
 

@ARTICLE {B{\"u}rcHeroSchm89,
   AUTHOR = {B{\"u}rckert, H.J., Herold, A. and Schmidt-Schauss, M.},
   TITLE = {{On Equational Theories, Unification and Decidability}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {1&2},
   PAGES = {3--50},
   MONTH = {July/August},
   KEYWORDS = {}}
 

@ARTICLE {Schm89,
   AUTHOR = {Schmidt-Schauss, M.},
   TITLE = {{Unification in a Combination of Arbitrary Disjoint Equational 
	Theories}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {1&2},
   PAGES = {51--100},
   MONTH = {July/August},
   KEYWORDS = {}}
 

@ARTICLE {SnydGall89,
   AUTHOR = {Snyder, W. and Gallier, J.},
   TITLE = {{Higher order unification revisited:Complete Sets of 
	Transformations}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {1&2},
   PAGES = {101--140},
   MONTH = {July/August},
   KEYWORDS = {}}
 

@ARTICLE {Lech89,
   AUTHOR = {Le Chenadec, P.},
   TITLE = {{363}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {1&2},
   PAGES = {141--200},
   MONTH = {July/August},
   KEYWORDS = {Theorem Proving}}
 

@ARTICLE {ClauFort89,
   AUTHOR = {Clausen, M. and Fortenbacher, A.},
   TITLE = {{Efficient Solution of Linear Diophantine Equations}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {1&2},
   PAGES = {201--216},
   MONTH = {July/August},
   KEYWORDS = {unification}}
 

@ARTICLE {LincChri89,
   AUTHOR = {Lincoln, P. and Christian, J.},
   TITLE = {{Adventures in Associative-Commutative Unification}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {1&2},
   PAGES = {217--240},
   MONTH = {July/August},
   KEYWORDS = {}}
 

@ARTICLE {ButlCann89,
   AUTHOR = {Butler, G. and Cannon, J.},
   TITLE = {{Computing in Permutation and Matrix Groups III:Sylow 
	Subgroups}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {3},
   PAGES = {241--252},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Frib89,
   AUTHOR = {Fribourg, L.},
   TITLE = {{A Strong Restriction of the Inductive Completion Procedure}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {3},
   PAGES = {253--276},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {AbadMann89,
   AUTHOR = {Abadi, M. and Manna, Z.},
   TITLE = {{Temporal Logic Programming}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {3},
   PAGES = {277--296},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {BracConsRonvSerr89,
   AUTHOR = {Brackx, F., Constales, D., Ronveaux, A. and Serras, H.},
   TITLE = {{On the Harmonic and Monogenic Decomposition of Polynomials}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {3},
   PAGES = {297--304},
   MONTH = {September},
   KEYWORDS = {REDUCE Polynomials Inverting Operator}}
 

@ARTICLE {Fitt89,
   AUTHOR = {Fitt, A.D.},
   TITLE = {{Symbolic Computation of Hyperbolicity Regions for Systems of 
	Two-Phase Flow Conservation Laws Using Maple}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {3},
   PAGES = {305--308},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {RoylPr{\"a}g89,
   AUTHOR = {Royle, G.F. and Pr{\"a}}ger, C.E.,
   TITLE = {{Constructing the Vertex-Transitive Graphs of Order 24}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {4},
   PAGES = {309--326},
   MONTH = {October},
   KEYWORDS = {Computational Group Theory}}
 

@ARTICLE {D{\"u}r89,
   AUTHOR = {D{\"u}r, A.},
   TITLE = {{On Computing the Canonical Form for a Binary Form of Odd 
	Degree}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {4},
   PAGES = {327--334},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Puel89,
   AUTHOR = {Puel, L.},
   TITLE = {{Using Unavoidable Sets of Trees to Generalize Kruskal's 
	Theorem}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {4},
   PAGES = {335--382},
   MONTH = {October},
   KEYWORDS = {Termination, Rewriting}}
 

@ARTICLE {MeseGoguSmol89,
   AUTHOR = {Meseguer, J., Goguen, J.A. and Smolka, G.},
   TITLE = {{Order Sorted Unification}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {4},
   PAGES = {383--414},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Schm89,
   AUTHOR = {Schmidt-Schauss, M.},
   TITLE = {{Unification in Permutative Equational Theories is Undecidable}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {4},
   PAGES = {415--422},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {DudlJame89,
   AUTHOR = {Dudley, M.L. and James, R.W.},
   TITLE = {{Computer-Aided Derivation of Spherical Harmonic Spectral
	Equations in Astrogeophysics}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {4},
   PAGES = {423--427},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {LangMcca89,
   AUTHOR = {Langemyr, L. and McCallum, S.},
   TITLE = {{The Computation of Polynomial Greatest Common Divisors Over an
	Algebraic Number Field}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {5},
   PAGES = {429--448},
   MONTH = {November},
   KEYWORDS = {Arithmetic}}
 

@ARTICLE {BoudJouaSchm89,
   AUTHOR = {Boudet, A., Jouannaud, J.P. and Schmidt-Schauss, M.},
   TITLE = {{Unification in Boolean Rings and Abelian Groups}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {5},
   PAGES = {449--478},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Baad89,
   AUTHOR = {Baader, F.},
   TITLE = {{Unification in Commutative Theories}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {5},
   PAGES = {479--498},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {AbduPecu89,
   AUTHOR = {Abdulrab, H. and P�cuchet, J.P.},
   TITLE = {{Associative Unification}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {5},
   PAGES = {499--522},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {B{\"u}rc89,
   AUTHOR = {B{\"u}rckert, H.J.},
   TITLE = {{Matching- A Special Case of Unification?}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {5},
   PAGES = {523--536},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {RonvThir89,
   AUTHOR = {Ronveaux, A. and Thiry, G.},
   TITLE = {{Differential Equations of some Orthogonal Families in REDUCE}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {5},
   PAGES = {537--541},
   MONTH = {November},
   KEYWORDS = {REDUCE Differential Equations}}
 

@ARTICLE {KobaMoriHoga89,
   AUTHOR = {Kobayashi, H., Moritsugu, S. and Hogan, R.W.},
   TITLE = {{On radical zero-dimensional ideals}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {545--552},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {YokoNoroTake89,
   AUTHOR = {Yokoyama, K., Noro, M. and Takeshima, T.},
   TITLE = {{Computing Primitive Elements of Extension Fields}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {553--580},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {UmenYamaSaitAbe89,
   AUTHOR = {Umeno, T., Yamashita, S., Saito, O. and Abe, K.},
   TITLE = {{Symbolic Computation Application for the Design of Linear 
	Multivariable Control Systems}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {581--588},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {SakaAiba89,
   AUTHOR = {Sakai, K. and Aiba, A.},
   TITLE = {{CAL:A Theoretical Background of Constraint Logic Programming
	and Its Applications}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {589--604},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Sato, Tama89,
   AUTHOR = {Sato, T. and Tamaki, H.},
   TITLE = {{First Order Compiler:A Deterministic Logic Program Synthesis 	
	Alg.}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {605--628},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Hagi89,
   AUTHOR = {Hagino, T.},
   TITLE = {{Codatatypes in ML}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {629--650},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Hagi89,
   AUTHOR = {Hagiya, M.},
   TITLE = {{Meta-circular Interpreter for a Strongly Typed Language}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {651--680},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Hiro89,
   AUTHOR = {Hiroyuki, S.},
   TITLE = {{E-CCC:between CCC and Topos, - its Expressive Power from the
	Viewpoint of Data Type Theory}},
   JOURNAL = JSC,
   YEAR = {1989},
   VOLUME = {8},
   NUMBER = {6},
   PAGES = {681--695},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {KandWeis90,
   AUTHOR = {Kandri-Rody, A. and Weispfenning, V.},
   TITLE = {{Non-Commutative Groebner Bases in	Algebras of Solvable Type}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {1},
   PAGES = {1--26},
   MONTH = {January},
   KEYWORDS = {Polynomial Ideals}}
 

@ARTICLE {Labo90,
   AUTHOR = {Labont�, G.},
   TITLE = {{An Algorithm for the construction of matrix representations for 
	finitely presented non-commutative algebras}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {1},
   PAGES = {27--38},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {GollOste90,
   AUTHOR = {Gollan, H.W. and Ostermann, T.W.},
   TITLE = {{Operation of Class Sums on Permutation Modules}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {1},
   PAGES = {39--48},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {Bron90,
   AUTHOR = {Bronstein, M.},
   TITLE = {{The Transcendental Risch Differential Equation}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {1},
   PAGES = {49--60},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {Capr90,
   AUTHOR = {Caprasse, H.},
   TITLE = {{Renormalisation Group, Function Iteration and Computer 	
	Algebra}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {1},
   PAGES = {61--72},
   MONTH = {January},
   KEYWORDS = {quantum field theory, differential equations}}
 

@ARTICLE {Full90,
   AUTHOR = {Fulling, S.A.},
   TITLE = {{The Analytic Approach to Recursion Relations}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {1},
   PAGES = {73--86},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {KwonDeve90,
   AUTHOR = {Kwong, M.K. and Dever, M.B.},
   TITLE = {{Computer-Aided Study of a Problem in Hermitian Matrix Theory }},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {1},
   PAGES = {87--112},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {LazaRiob90,
   AUTHOR = {Lazard, D. and Rioboo, R.},
   TITLE = {{Integration of Rational Functions}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {2},
   PAGES = {113--116},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Bron90,
   AUTHOR = {Bronstein, M.},
   TITLE = {{Integration of Elementary Functions}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {2},
   PAGES = {117--174},
   MONTH = {February},
   KEYWORDS = {Computer Analysis}}
 

@ARTICLE {Vonz90,
   AUTHOR = {Von Zur Gathen, J.},
   TITLE = {{Inversion in Finite Fields Using Logarithmic Depth}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {2},
   PAGES = {175--184},
   MONTH = {February},
   KEYWORDS = {Arithmetic}}
 

@ARTICLE {KeanTsik90,
   AUTHOR = {Kean, A. and Tsiknis, G.},
   TITLE = {{An Incremental Method for Generating Prime 
	Implicants/Implicates}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {2},
   PAGES = {185--206},
   MONTH = {February},
   KEYWORDS = {Propositional Logic}}
 

@ARTICLE {Eise90,
   AUTHOR = {Eisenberger, M.},
   TITLE = {{Application of Symbolic Algebra to the Analysis of Plates on 
	Variable Elastic Foundation}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {2},
   PAGES = {207--214},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {LloyPear90,
   AUTHOR = {Lloyd, N.G., Pearson, J.M.},
   TITLE = {{Reduce and the Bifurcation of Limit Cycles}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {2},
   PAGES = {215--224},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {BuchKalt90,
   AUTHOR = {Buchberger, B. and Kaltofen, E.},
   TITLE = {{Editorial for Special Issue Computational Algebraic Complexity}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {225--228},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {BachShou90,
   AUTHOR = {Bach, E. and Shoup, V.},
   TITLE = {{Factoring Polynomials Using Fewer Random Bits}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {229--240},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Cann90,
   AUTHOR = {Canny, J.},
   TITLE = {{Generalized characteristic polynomials}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {241--250},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {CoppWino90,
   AUTHOR = {Coppersmith, D. and Winograd, S.},
   TITLE = {{Matrix Multiplication via Arithmetic Progressions}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {251--280},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Vonz90,
   AUTHOR = {Von zur Gathen, J.},
   TITLE = {{Functional Decomposition of Polynomials:The Tame Case}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {281--300},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {KaltTrag90,
   AUTHOR = {Kaltofen, E. and Trager, B.M.},
   TITLE = {{Computing with Polynomials Given by Black Boxes for their
	Evaluations:Greatest Common Divisors, Factorization, Separation
	of Numerators and Denominators}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {300--320},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Roll90,
   AUTHOR = {Rolletschek, H.},
   TITLE = {{Shortest Division Chains in Imaginary Quadratic Number Fields}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {321--354},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Rony90,
   AUTHOR = {R�nyai, L.},
   TITLE = {{Computing the Structure of Finite Algebras}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {355--374},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Zipp90,
   AUTHOR = {Zippel, R.},
   TITLE = {{Interpolating Polynomials from Their Values}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {3},
   PAGES = {375--403},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {SakkFaro90,
   AUTHOR = {Sakkalis, T. and Farouki, R.},
   TITLE = {{Singular Points of Algebraic Curves}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {4},
   PAGES = {405--422},
   MONTH = {April},
   KEYWORDS = {Real Algebraic Geometry}}
 

@ARTICLE {Zhan90,
   AUTHOR = {Zhang, H.},
   TITLE = {{Automated Proof of Ring Commutativity Problems by Algebraic 			
	Methods}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {4},
   PAGES = {423--428},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {MaVonz90,
   AUTHOR = {Ma, K. and Von Zur Gathen, J.},
   TITLE = {{Analysis of Euclidean algorthims for polynomials over finite 
	fields}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {4},
   PAGES = {429--456},
   MONTH = {April},
   KEYWORDS = {GCD}}
 

@ARTICLE {Gunt90,
   AUTHOR = {Gunther, O.},
   TITLE = {{Minimum K-Partitioning of Rectilinear Polygons}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {4},
   PAGES = {457--484},
   MONTH = {April},
   KEYWORDS = {Computational Geometry}}
 

@ARTICLE {RameRama90,
   AUTHOR = {Ramesh, R. and Ramakrishnan, I.V.},
   TITLE = {{Parallel Tree Pattern Matching}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {4},
   PAGES = {485--502},
   MONTH = {April},
   KEYWORDS = {Rewriting, Theorem proving}}
 

@ARTICLE {CorlJeff90,
   AUTHOR = {Corless, R.M. and Jeffrey, D.J.},
   TITLE = {{Solution of a Hydrodynamic Lubrication Problem with Maple}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {4},
   PAGES = {503--514},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {Sava90,
   AUTHOR = {Savage, S.B.},
   TITLE = {{Symbolic Computation of the Flow of Granular Avalanches}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {4},
   PAGES = {515--530},
   MONTH = {April},
   KEYWORDS = {Application}}
 

@ARTICLE {Conl90,
   AUTHOR = {Conlon, S.B.},
   TITLE = {{Calculating Characters of p-groups}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {535--550},
   MONTH = {May/June},
   KEYWORDS = {Computational Group Theory}}
 

@ARTICLE {Conl90,
   AUTHOR = {Conlon, S.B.},
   TITLE = {{Computing modular and projective character degrees of soluble 
	groups}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {551--570},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Mich90,
   AUTHOR = {Michler, G.O.},
   TITLE = {{Some Problems in Computational Representation Theory}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {571--582},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {ParkWils90,
   AUTHOR = {Parker, R.A. and Wilson, R.A.},
   TITLE = {{The Computer Construction of Matrix Representations of Finite 	
	Groups over Finite Fields}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {583--590},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Ryba90,
   AUTHOR = {Ryba, A.J.E.},
   TITLE = {{Computer condensation of modular representation}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {591--600},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Schn90,
   AUTHOR = {Schneider, G.J.A.},
   TITLE = {{Dixon's Character Table Algorithm Revisited}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {600--606},
   MONTH = {May/June},
   KEYWORDS = {Groups}}
 

@ARTICLE {Schn90,
   AUTHOR = {Schneider, G.J.A.},
   TITLE = {{Computing with endomorphism rings of modular representations}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {607--636},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {GlasSlat90,
   AUTHOR = {Glasby, S.P. and Slattery, M.C.},
   TITLE = {{Computing Intersections and Normalizers in Soluble Groups}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {637--652},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {HavaNewmVaug90,
   AUTHOR = {Havas, G., Newman, M.F. and Vaughan-Lee, M.R.},
   TITLE = {{A nilpotent quotient algorithm for graded Lie rings}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {653--664},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {LeedSoic90,
   AUTHOR = {Leedham-green, C.R. and Soicher, L.H.},
   TITLE = {{Collection from the left and other strategies}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {665--676},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Obri90,
   AUTHOR = {O�Brien, E.A.},
   TITLE = {{The p-group generation algorithm}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {677--698},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Sims90,
   AUTHOR = {Sims, C.C.},
   TITLE = {{Computing the Order of a Solvable Permutation Group}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {699--706},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Sims90,
   AUTHOR = {Sims, C.C.},
   TITLE = {{Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient 
	Algorithm}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {707--724},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Vaug90,
   AUTHOR = {Vaughan-Lee, M.R.},
   TITLE = {{Collection From the Left}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {9},
   NUMBER = {5&6},
   PAGES = {725--733},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {RislRong90,
   AUTHOR = {Risler, J.J. and Ronga, F.},
   TITLE = {{Testing Polynomials}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {1},
   PAGES = {1--6},
   MONTH = {July},
   KEYWORDS = {Multivariate, Identities}}
 

@ARTICLE {Grig90,
   AUTHOR = {Grigorev, D.Yu.},
   TITLE = {{Complexity of Factoring and GCD calculating linear ordinary 
	differential operators}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {1},
   PAGES = {7--38},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {RoySzpi90,
   AUTHOR = {Roy, M.F. and Szpirglas, A.},
   TITLE = {{Complexity of the Computation on Real Algebraic Numbers}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {1},
   PAGES = {39--52},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Nort90,
   AUTHOR = {Norton, G.H.},
   TITLE = {{On the Asymptotic Analysis of the Euclidean Algorithm}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {1},
   PAGES = {53--58},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Sing90,
   AUTHOR = {Singer, M.F.},
   TITLE = {{Formal Solutions of Differential Equations}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {1},
   PAGES = {59--94},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {RatnWarm90,
   AUTHOR = {Ratner, D. and Warmuth, M.},
   TITLE = {{NxN Puzzle and Related Relocation Problem}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {2},
   PAGES = {111--138},
   MONTH = {August},
   KEYWORDS = {robotics, search techniques}}
 

@ARTICLE {CabaKoss90,
   AUTHOR = {Cabay, S. and Kossowski, P.},
   TITLE = {{Power Series Remainder Sequences and Pade Fractions Over an 
	Integral Domain}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {2},
   PAGES = {138--164},
   MONTH = {August},
   KEYWORDS = {resultants, arithmetic}}
 

@ARTICLE {Beck90,
   AUTHOR = {Becker, T.},
   TITLE = {{Standard Bases and Some Computations in Rings of Power Series}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {2},
   PAGES = {165--178},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {DeprDepr90,
   AUTHOR = {Deprit, T. and Deprit, E.},
   TITLE = {{Processing Poisson Series in Parallel}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {2},
   PAGES = 179--202,
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {GerdZhar90,
   AUTHOR = {Gerdt, V.P. and Zharkov, A.Yu.},
   TITLE = {{Computer classification of integrable coupled KdV-like systems}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {2},
   PAGES = {203--208},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Heng90,
   AUTHOR = {Heng, A.K.},
   TITLE = {{Some Remarks On Numerical Iterations in a Symbolic Manipulation 
	System}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {2},
   PAGES = {209--221},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {AlevBois90,
   AUTHOR = {Alevizos, P., Boissonnat, J.D. and Yvinec, M.},
   TITLE = {{Non Convex Contour Reconstruction}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {225--252},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {Mulm90,
   AUTHOR = {Mulmuley, K.},
   TITLE = {{A Fast Planar Partition Algorithm, I}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {253--280},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {ChazShar90,
   AUTHOR = {Chazelle, B. and Sharir, M.},
   TITLE = {{An Algorithm for Generalized point location and its 
	applications}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {281--310},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {AvisImai90,
   AUTHOR = {Avis, D. and Imai, H.},
   TITLE = {{Locating a robot with angle Mathematics}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {311--326},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {Megi90,
   AUTHOR = {Megiddo, N.},
   TITLE = {{On the Complexity of some geometric problems in unbounded 
	dimension}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {327--334},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {EdelPrepWest90,
   AUTHOR = {Edelsbrunner, H., Preparata, F.P. and West, D.B.},
   TITLE = {{Tetrahedrizing Point Sets in Three Dimensions}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {335--348},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {Yap90,
   AUTHOR = {Yap, C.K.},
   TITLE = {{Symbolic Treatment of Geometric Degeneration}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {349--370},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {SchwShar90,
   AUTHOR = {Schwartz, J.T. and Sharir, M.},
   TITLE = {{On the two-dimensional Davenport Schinzel Problem}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {3&4},
   PAGES = {371--393},
   MONTH = {September/October},
   KEYWORDS = {}}
 

@ARTICLE {Weis90,
   AUTHOR = {Weispfenning, V.},
   TITLE = {{The Complexity of Almost Linear Diophantine Problems}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {395--404},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {CuckRoy90,
   AUTHOR = {Cucker, F. and Roy, M.F.},
   TITLE = {{Kac's Theorem on the Number of Real Roots and its Consequences in
	Average Complexity}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {405--410},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {HuntStea90,
   AUTHOR = {Hunt, H.B. and Stearns, R.E.},
   TITLE = {{The Complexity of Equivalence for Commutative Rings}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {411--436},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Vonz90,
   AUTHOR = {Von Zur Gathen, J.},
   TITLE = {{Functional Decomposition of Polynomials:The Wild Case}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {437--452},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {MathFord90,
   AUTHOR = {Mathieu, M.H. and Ford, D.},
   TITLE = {{On p-adic Computation of the Rational Form of a Matrix}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {453--464},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {BeckSt{\"u}ck90,
   AUTHOR = {Beckman, P. and St{\"u}ckrad, J.},
   TITLE = {{The Concept of Gr{\"o}bner Algebras}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {465--480},
   MONTH = {November},
   KEYWORDS = {Gr{\"o}bner bases}}
 

@ARTICLE {LallMcfa90,
   AUTHOR = {Lallement, G. and McFadden, R.},
   TITLE = {{On the determination of Green's Relations in Finite Tranformation 
	Semigroups}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {481--498},
   MONTH = {November},
   KEYWORDS = {Group theory}}
 

@ARTICLE {NielMcliMorr90,
   AUTHOR = {Nielsen, G.C., McLinden, M.O. and Morrison, G.},
   TITLE = {{Use of Computer Algebra to Locate Critical Locig in Fluid 	
	Mixtures}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {499-508},
   MONTH = {November},
   KEYWORDS = {MACSYMA fluid dynamics}}
 

@ARTICLE {ViraGillTuns90,
   AUTHOR = {Vira, N., Gill, T. and Tunstel, E.},
   TITLE = {{Application of Symbolic Computation in Robot Pose Error 
	Modeling}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {509--524},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {AbouPave90,
   AUTHOR = {Abouzahra, M.D. and Pavelle, R.},
   TITLE = {{Computer algebra applied to radiation from microstrip 
	discontinuities}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {5},
   PAGES = {525--528},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Klin90,
   AUTHOR = {Klingen, N.},
   TITLE = {{Leopoldt's Conjecture for Imaginary Galois Number Fields}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {531--546},
   MONTH = {December},
   KEYWORDS = {Group theory}}
 

@ARTICLE {VonzGies90,
   AUTHOR = {Von Zur Gathen, H. and Giesbrecht, M.},
   TITLE = {{Constructing normal bases in finite fields}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {547--570},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {AlmkZeil90,
   AUTHOR = {Almkvist, G. and Zeilberger, D.},
   TITLE = {{The Method of Differentiating under the Integral Sign}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {571--592},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Shal90,
   AUTHOR = {Shallit, J.},
   TITLE = {{On the Worst Case of Three Algorithms for Computing the 
	Jacobi Symbol}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {593--610},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Shac90,
   AUTHOR = {Shackell, J.},
   TITLE = {{Growth Estimates for Exp-Log Functions}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {611--632},
   MONTH = {December},
   KEYWORDS = {transcendental functions}}
 

@ARTICLE {NefSchm90,
   AUTHOR = {Nef, W. and Schmidt, P.M.},
   TITLE = {{Computing a Sweeping-Plane in Regular ("General") Position:A 
	Numerical and a Symbolic Solution}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {633--646},
   MONTH = {December},
   KEYWORDS = {Computational geometry}}
 

@ARTICLE {Wils90,
   AUTHOR = {Wilson, R.A.},
   TITLE = {{The 2- and 3 modular characters of J3, its covering group and
	automorhism group}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {647--657},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Hugh90,
   AUTHOR = {Hughes, D.I.},
   TITLE = {{Symbolic Computation with Fermions}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {10},
   NUMBER = {6},
   PAGES = {657--664},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {PaisPete91,
   AUTHOR = {Pais, J. and Peterson, G.E.},
   TITLE = {{Using Forcing to Prove Completeness of Resolution and 
	Paramodulation}},
   JOURNAL = JSC,
   YEAR = {1990},
   VOLUME = {11},
   NUMBER = {1&2},
   PAGES = {3--20},
   MONTH = {January/February},
   KEYWORDS = {}}
 

@ARTICLE {Rusi91,
   AUTHOR = {Rusinowitch, M.},
   TITLE = {{Theorem-proving with Resolution and Superposition}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {1&2},
   PAGES = {21--50},
   MONTH = {January/February},
   KEYWORDS = {}}
 

@ARTICLE {Ganz91,
   AUTHOR = {Ganzinger, H.},
   TITLE = {{A Completion Procedure for Conditional Equations}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {1&2},
   PAGES = {51--82},
   MONTH = {January/February},
   KEYWORDS = {}}
 

@ARTICLE {KapuNareZhan91,
   AUTHOR = {Kapur, D., Narendran, P. and Zhang, H.},
   TITLE = {{Automating Inductionless Induction using Test Sets}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {1&2},
   PAGES = {83--112},
   MONTH = {January/February},
   KEYWORDS = {}}
 

@ARTICLE {KounRusi91,
   AUTHOR = {Kounalis, E. and Rusinowitch, M.},
   TITLE = {{On Word Problems in Horn Theories}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {1&2},
   PAGES = {113--128},
   MONTH = {January/February},
   KEYWORDS = {}}
 

@ARTICLE {Soch91,
   AUTHOR = {Socher, R.},
   TITLE = {{On the Relation Between Resolution Based and Completion Based 
	Theorem Proving}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {1&2},
   PAGES = {129--148},
   MONTH = {January/February},
   KEYWORDS = {}}
 

@ARTICLE {PlaiPott91,
   AUTHOR = {Plaisted, D.A. and Potter, R.C.},
   TITLE = {{Term Rewriting:Some Experimental Results}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {1&2},
   PAGES = {149--180},
   MONTH = {January/February},
   KEYWORDS = {}}
 

@ARTICLE {ChazRiscAlonBria91,
   AUTHOR = {Chazarain, J., Riscos, A., Alonso, J.A. and Briales, E.},
   TITLE = {{Multi-Valued Logic and Groebner Basis with application to modal 
	Logic}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {181--194},
   MONTH = {March},
   KEYWORDS = {Theorem Proving}}
 

@ARTICLE {Zeil91,
   AUTHOR = {Zeilberger, D.},
   TITLE = {{The Method of Creative Telescoping}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {195--204},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Satt91,
   AUTHOR = {Sattler-Klein, A.},
   TITLE = {{Research Note - Elimination of Composite Superpositions May Cause   
	Abortion}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {205--212},
   MONTH = {March},
   KEYWORDS = {Church-Rosser}}
 

@ARTICLE {GentOcon91,
   AUTHOR = {Gentili, G. and O�Connor, M.A.},
   TITLE = {{Rational Geometry in Space}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {213--230},
   MONTH = {March},
   KEYWORDS = {Computational Geometry}}
 

@ARTICLE {Piqu91,
   AUTHOR = {Piquette, J.C.},
   TITLE = {{An Algorithm for Symbolic Evaluation of Indefinite Integrals 
	Containing Special Functions or Their Products}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {231--250},
   MONTH = {March},
   KEYWORDS = {Computer Analysis}}
 

@ARTICLE {Sing91,
   AUTHOR = {Singer, M.F.},
   TITLE = {{Liouvillian Solution of Linear Differential Equations
	with Liouvillian Coefficients}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {251--274},
   MONTH = {March},
   KEYWORDS = {computer analysis}}
 

@ARTICLE {Dive91,
   AUTHOR = {Diver, D.A.},
   TITLE = {{Modelling in Physics with computer algebra}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {275--290},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {CoheFitc91,
   AUTHOR = {Cohen, H.I. and Fitch, J.P.},
   TITLE = {{Uses Made of Computer Algebra in Physics}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {3},
   PAGES = {291--305},
   MONTH = {March},
   KEYWORDS = {Applications}}
 

@ARTICLE {Pond91,
   AUTHOR = {Ponder, C.G.},
   TITLE = {{Parallel Multiplication and Powering of Polynomials}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {4},
   PAGES = {307--320},
   MONTH = {April},
   KEYWORDS = {Arithmetic}}
 

@ARTICLE {Lavi91,
   AUTHOR = {Laville, A.},
   TITLE = {{Comparison of Priority Rules in Pattern Matching and Term 	
	Rewriting}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {4},
   PAGES = {321--348},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {ComoLugiSchn91,
   AUTHOR = {Comon, H., Lugiez, D. and Schnoebelen, Ph.},
   TITLE = {{A Rewrite-Based Type Discipline for a Subset of CA}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {4},
   PAGES = {349--368},
   MONTH = {April},
   KEYWORDS = {Generic Programming}}
 

@ARTICLE {KranPaul91,
   AUTHOR = {Krantz, S.G. and Paulsen, W.H.},
   TITLE = {{Asymptotic Eigenfrequency Distributions for the N-Beam Euler-
	Bernouli Coupled}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {4},
   PAGES = {369--418},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {Whit91,
   AUTHOR = {White, N.L.},
   TITLE = {{Multilinear Cayley Factorization}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {421--438},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {SturWhit91,
   AUTHOR = {Sturmfels, B. and Whiteley, W.},
   TITLE = {{On the Synthetic Factorization of Projectively Invariant 	
	Polynomials}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {439--454},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Morg91,
   AUTHOR = {Morgenstern, J.},
   TITLE = {{Classical Invariant Theory and Algebraic Complexity Theory}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {455--470},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {McmiWhit91,
   AUTHOR = {McMillan, T. and White, N.L.},
   TITLE = {{The Dotted Straightening Algorithm}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {471--482},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Clau91,
   AUTHOR = {Clausen, M.},
   TITLE = {{Multivariate Polynomials, Standard Tableaux and Representatoins 
	of Symmetric Groups}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {483--522},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Crap91,
   AUTHOR = {Crapo, H.},
   TITLE = {{Invariant Theoretic Methods in Scene Analysis and Structural 
	Mechanics}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {523--548},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Whit91,
   AUTHOR = {Whiteley, W.},
   TITLE = {{Invariant Computations for Analytic Projective Geometry}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {549--578},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Have91,
   AUTHOR = {Havel, T.F.},
   TITLE = {{The Use of Distances as Coordinated for Analytic Geometry}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {579--594},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Stur91,
   AUTHOR = {Sturmfels, B.},
   TITLE = {{Computational Algebraic Geometry of Projective Configurations}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {11},
   NUMBER = {5&6},
   PAGES = {595--618},
   MONTH = {May/June},
   KEYWORDS = {}}
 

@ARTICLE {Yap91,
   AUTHOR = {Yap, C.K.},
   TITLE = {{A New Lower Bound Construction for the Word Problem for 
	Commutative Thue Systems}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {1},
   PAGES = {1--28},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Taka91,
   AUTHOR = {Takayama, Y.},
   TITLE = {{Proof Theoretic Approach to the Extraction of Redundancy free 	
	Realizer Codes}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {1},
   PAGES = {29--70},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Lamb91,
   AUTHOR = {Lambe, L.},
   TITLE = {{Resolution via Homological Perturbation}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {1},
   PAGES = {71--88},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {GarbKapeLeafMatk91,
   AUTHOR = {Garbey, M., Kaper, H.G., Leaf, G.K. and Matkowsky, B.J.},
   TITLE = {{Using MAPLE for the Analysis of Bifurcation Phenomena in
	Condensed-Phase Surface Combustion}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {1},
   PAGES = {89--114},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Ouss91,
   AUTHOR = {Oussous, N.E.},
   TITLE = {{Macsyma Computation of Local Minimal Realization of Dynamical
	Systems of which Generating Power Series are Finite}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {1},
   PAGES = 115--126{},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Rich91,
   AUTHOR = {Richardson, D.},
   TITLE = {{Wu's Method and the Khovanskii Finiteness Theorem}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {2},
   PAGES = {127--142},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {TeneWilm91,
   AUTHOR = {Ten Eikelder, H.M.M. and Wilmont, J.C.F.},
   TITLE = {{Normal Forms for a Class of Formulas}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {2},
   PAGES = {143--160},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {KlopMidd91,
   AUTHOR = {Klop, J.W. and Middeldorp, A.},
   TITLE = {{Sequentiality in Orthogonal Term Rewriting Systems}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {2},
   PAGES = {161--196},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {ChamHans91,
   AUTHOR = {Champarnaud, J.M. and Hansel, G.},
   TITLE = {{AUTOMATE, a Computing Package for Automata and Finite 
	Semigroups}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {2},
   PAGES = {197--220},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {PasiSemeZann91,
   AUTHOR = {Pasini, P., Semeria, F. and Zannoni, C.},
   TITLE = {{Symbolic Computation of Orientational Correlation Function 
	Moments}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {2},
   PAGES = {221--232},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Wang91,
   AUTHOR = {Wang, D.},
   TITLE = {{Mechanical Manipulation for a Class of Differential Systems}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {2},
   PAGES = {233--254},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Otto91,
   AUTHOR = {Otto, F.},
   TITLE = {{When is an extension of a specification consistent?
	Decidable and Undecidable Cases}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {3},
   PAGES = {255--274},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Sche91,
   AUTHOR = {Schend, B.},
   TITLE = {{A Methodology for Detecting Shared Variable Dependencies in
	Logic Programs}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {3},
   PAGES = {275--298},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {CollHong91,
   AUTHOR = {Collins, G.E. and Hong, H.},
   TITLE = {{Partial CAD Construction in QE}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {3},
   PAGES = {299--328},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Bj{\"o}rFr{\"o}b91,
   AUTHOR = {Bj{\"o}rck, G. and Fr{\"o}berg, G.},
   TITLE = {{A faster way to count the solution of inhomogeneous systems of 
	algebraic equations, with applications to cyclic n-roots}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {3},
   PAGES = {329--336},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {JacoL{\"o}fw91,
   AUTHOR = {Jacobsson, C. and L{\"o}fwall, C.},
   TITLE = {{Standard bases for general coefficient rings and a new 	
	constructive proof of Hilbert's basis theorem}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {3},
   PAGES = {337--372},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {SailMora91,
   AUTHOR = {Sailer, V. and Morales-Luna G.},
   TITLE = {{On the Polynomial Representation of Generalized Liouville 	
	Operators}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {3},
   PAGES = {373--380},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {RoquDoss91,
   AUTHOR = {Roque, W.L. and Dos Santos, R.P.},
   TITLE = {{Computer algebra in spacetime embedding}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {3},
   PAGES = {381--389},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {EpstHoltRees91,
   AUTHOR = {Epstein, D.B.A., Holt, D.F. and Rees, S.E.},
   TITLE = {{The Use of Knuth-Bendix methods to solve the word problem in 
	automatic groups}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {397--414},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {Lint91,
   AUTHOR = {Linton, S.A.},
   TITLE = {{Double Coset Enumeration}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {415--426},
   MONTH = {October/November},
   KEYWORDS = {Computational Group Theory},
 

@ARTICLE {Lint91,
   AUTHOR = {Linton, S.A.},
   TITLE = {{Constructing Matrix Representations of Finitely Presented 
	Groups}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {427--438},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {Sims91,
   AUTHOR = {Sims, C.C.},
   TITLE = {{The Knuth-Bendix Procedure for Strings as a Substitute for Coset
	Enumeration}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {439--442},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {ButlCann91,
   AUTHOR = {Butler, G. and Cannon, J.},
   TITLE = {{Computing Sylow Subgroups of Permutation Groups Using Homomorphic
	Images of Centralizers}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {443--458},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {CameCann91,
   AUTHOR = {Cameron, P.J. and Cannon, J.},
   TITLE = {{Fast recognition of doubly transitive groups}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {459--474},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {CoopFink91,
   AUTHOR = {Cooperman, G. and Finkelstein, L.},
   TITLE = {{Short Presentations and a Strong Generating}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {475--498},
   MONTH = {October/November},
   KEYWORDS = {Computational Group Theory}}
 

@ARTICLE {Holt91,
   AUTHOR = {Holt, D.F.},
   TITLE = {{The Computation of Normalizers in Permutation Groups}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {499--516},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {Kant91,
   AUTHOR = {Kantor, W.M.},
   TITLE = {{Finding composition factors of permutation groups of degree 
	n<10^6}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {517--526},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {LeedPraeSoic91,
   AUTHOR = {Leedham-Green, C.R., Praeger, C.E. and Soicher, L.H.},
   TITLE = {{Computing with Group Homomorphisms}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {527--532},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {Leon91,
   AUTHOR = {Leon, J.S.},
   TITLE = {{Permutation Group Algorithms Based on Partitions, I:Theory and 
	Algorithms}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {4&5},
   PAGES = {533--583},
   MONTH = {October/November},
   KEYWORDS = {}}
 

@ARTICLE {HerfPenz91,
   AUTHOR = {Herfort, W. and Penz, H.},
   TITLE = {{A New Notion of Reduction: General Universal Gr{\"o}bner basis 
	for K[x,y]}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {6},
   PAGES = {585--606},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {SendWink91,
   AUTHOR = {Sendra, J.R. and Winkler, F.},
   TITLE = {{Symbolic Parametrization of Curves}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {6},
   PAGES = {607--632},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Nipk91,
   AUTHOR = {Nipkow, T.},
   TITLE = {{Combining Matching Algorithms:The Regular Case}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {6},
   PAGES = {633--654},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {HartTuck91,
   AUTHOR = {Hartley, D. and Tucker, R.W.},
   TITLE = {{A constructive implementation of the Cartan-K{\"a}hler theory of 
	exterior differential systems}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {6},
   PAGES = {655--668},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {YamaPave91,
   AUTHOR = {Yamartino, R.J. and Pavelle, R.},
   TITLE = {{An Application of Computer Algebra to a Problem in Stratified  
	Fluid Flow}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {6},
   PAGES = {669--672},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {WolfKr{\"o}t91,
   AUTHOR = {Wolf, K.B. and Kr{\"o}tzsch, G.},
   TITLE = {{Group-classified polynomials of phase space in higher-order 
	aberration expansions}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {6},
   PAGES = {673--694},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {AndeGeer91,
   AUTHOR = {Andersen, C.M. and Geer, J.F.},
   TITLE = {{Investigating a Hybrid Perturbation-Galerkin Technique Using 	
	Computer Algebra}},
   JOURNAL = JSC,
   YEAR = {1991},
   VOLUME = {12},
   NUMBER = {6},
   PAGES = {695--714},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {LassMcal92,
   AUTHOR = {Lassez, J.L. and McAloon, K.},
   TITLE = {{A canonical form for generalized linear constraints}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {1},
   PAGES = {1--24},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {SendLlov92,
   AUTHOR = {Sendra, J.R. and Llovet, J.},
   TITLE = {{An Extended Polynomial GCD Algorithm Using Hankel Matrices}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {1},
   PAGES = {25--40},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {Land92,
   AUTHOR = {Landau, S.},
   TITLE = {{A Note on "Zippel Denesting"}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {1},
   PAGES = {41--46},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {Mona92,
   AUTHOR = {Monagan, M.B.},
   TITLE = {{A Heuristic Irreducibility Test for Univariate Polynomials}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {1},
   PAGES = {47--58},
   MONTH = {January},
   KEYWORDS = {polynomial factorization, MAPLE}}
 

@ARTICLE {Mill92,
   AUTHOR = {Mills, R.D.},
   TITLE = {{Slope Retention Techniques for Solving Boundary-Value Problems
	in Differential Equations}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {1},
   PAGES = {59--80},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {MartLai92,
   AUTHOR = {Martin, U. and Lai, M.},
   TITLE = {{Some experiments with a completion theorem prover}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {1},
   PAGES = {81--100},
   MONTH = {January},
   KEYWORDS = {Theorem proving REVE group theory, Knuth-Bendix}}
 

@ARTICLE {Cowe92,
   AUTHOR = {Cowell, R.G.},
   TITLE = {{Application of ordered standard bases to catastrophe theory}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {1},
   PAGES = {101--115},
   MONTH = {January},
   KEYWORDS = {Gr{\"o}bner basis}}
 

@ARTICLE {Laza92,
   AUTHOR = {Lazard, D.},
   TITLE = {{Solving zero-dimensional algebraic systems}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {2},
   PAGES = {117--132},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {FitzFlyn92,
   AUTHOR = {Fitzpatrick, P. and Flynn, J.},
   TITLE = {{A Gr{\"o}bner Basis Technique for Inverting Mulitvariable Hensel
	Codes}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {2},
   PAGES = {133--138},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Voro92,
   AUTHOR = {Vorobjov, N.N., Jr.},
   TITLE = {{The Complexity of Deciding Consistency of Systems of Polynomial in 
	Exponent Inequalities}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {2},
   PAGES = {139--174},
   MONTH = {February},
   KEYWORDS = {Real Algebraic Geometry}}
 

@ARTICLE {Burr92,
   AUTHOR = {Burris, S.},
   TITLE = {{Discriminator varieties and symbolic computation}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {2},
   PAGES = {175--208},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Dick92,
   AUTHOR = {Dickerson, M.},
   TITLE = {{The Inverse of an Automorphism in Polynomial Time}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {2},
   PAGES = {209--220},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {BeyeFawcHartSwar92,
   AUTHOR = {Beyer, W.A., Fawcett, L.R., Harten, L.P. and Swartz, B.K.},
   TITLE = {{The Volume Common to Two Congruent Cylinders}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {2},
   PAGES = {221--230},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Laza92,
   AUTHOR = {Lazard, D.},
   TITLE = {{A Note on Upper Bounds for Ideal-Theoretic Problems}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {3},
   PAGES = {231--234},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {OheaStac92,
   AUTHOR = {O�Hearn, P.W. and Stachniak, Z.},
   TITLE = {{Resolution Framework for Finitely-Valued First-Order Logics}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {3},
   PAGES = {235--254},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Rene92,
   AUTHOR = {Renegar, J.},
   TITLE = {{On the Computational Complexity and Geometry of the First-Order 
	Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry 
	of Semi-Algebraic Sets. The Decision Problem for the Existential Theory 	
	of the Reals}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {3},
   PAGES = {255--300},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Rene92,
   AUTHOR = {Renegar, J.},
   TITLE = {{On the Computational Complexity and Geometry of the First-Order 
	Theory of the Reals, Part II: The General Decision Problem. 
	Preliminaries for Quantifier Elimination}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {3},
   PAGES = {301--328},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Rene92,
   AUTHOR = {Renegar, J.},
   TITLE = {{On the Computational Complexity and Geometry of the First-Order 
	Theory of the Reals, Part III: Quantifier Eliminiation}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {3},
   PAGES = {329--352},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Sit92,
   AUTHOR = {Sit, W.Y.},
   TITLE = {{An Algorithm for Solving Parametric Linear Systems}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {4},
   PAGES = {353--394},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {SasaSuzu92,
   AUTHOR = {Sasaki, T. and Suzuki, M.},
   TITLE = {{Three New Algorithms for Multivariate Polynomial GCD}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {4},
   PAGES = {395--412},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {Bron92,
   AUTHOR = {Bronstein, M.},
   TITLE = {{On Solutions of Linear Ordinary Differential Equations in their
	Coefficient Field}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {4},
   PAGES = {413--440},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {D{\"o}rrRoun92,
   AUTHOR = {D{\"o}rre, J. and Rounds, W.C.},
   TITLE = {{On Subsumption and Semiunifaction in Feature Algebras}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {4},
   PAGES = {441--461},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {Beau92,
   AUTHOR = {Beauzamy, B.},
   TITLE = {{Products of Polynomials and a Priori Estimates for Coefficients in 
	Polynomial Decompositions: A Sharp Result}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {5},
   PAGES = {463--472},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {AdamBoyl92,
   AUTHOR = {Adams, W.W. and Boyle, A.K.},
   TITLE = {{Some comments on Gr{\"o}bner Bases over Commutative Rings}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {5},
   PAGES = {473--484},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {CannMano92,
   AUTHOR = {Canny, J.F. and Manocha, D.},
   TITLE = {{Implicit Representation of Rational Parametric Surfaces}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {5},
   PAGES = {485--510},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {GrosLars92,
   AUTHOR = {Grossman, R. and Larson, R.G.},
   TITLE = {{Symbolic Computation of Derivations Using Labeled Trees}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {5},
   PAGES = {511--524},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Know92,
   AUTHOR = {Knowles, P.H.},
   TITLE = {{Integration of a Class of Transcendental Liouvillian Functions 
	with Error-Functions, Part I}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {5},
   PAGES = {525--544},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Fate92,
   AUTHOR = {Fateman, R.J.},
   TITLE = {{A Review of Mathematica}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {5},
   PAGES = {545--579},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Koep92,
   AUTHOR = {Koepf, W.},
   TITLE = {{Power Series in Computer Algebra}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {6},
   PAGES = {581--604},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {Mign92,
   AUTHOR = {Mignotte, M.},
   TITLE = {{On the Product of the Largest Roots of a Polynomial}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {6},
   PAGES = {605--612},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {CafeZabe92,
   AUTHOR = {Caferra, R. and Zabel, N.},
   TITLE = {{A Method for Simultanous Search for Refutations and 
	Models by Equational Constraint Solving}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {6},
   PAGES = {613--642},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {GuimHeppCzap92,
   AUTHOR = {Guimaraes, J.E.F., Heppler, G.R. and Czapor, S.R.},
   TITLE = {{A Method for Simulataneous Search for Refutations and Models by 
	Equational Constraint Solving}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {6},
   PAGES = {643--676},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {Chee92,
   AUTHOR = {Chee, Y.M.},
   TITLE = {{On Graphical Quintuple Systems}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {6},
   PAGES = {677--682},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {SarlVand92,
   AUTHOR = {Sarlet, W. and Vanden Bonne, J.},
   TITLE = {{REDUCE-procedures for the study of adjoint symmetries of second-
	order differential equations}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {13},
   NUMBER = {6},
   PAGES = {683--693},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {Weis92,
   AUTHOR = {Weispfenning, V.},
   TITLE = {{Comprehensive Groebner Bases}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {1},
   PAGES = {1--30},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {BayeStill92,
   AUTHOR = {Bayer, D. and Stillman, M.},
   TITLE = {{Computation of Hilbert Functions}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {1},
   PAGES = {31--50},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {AdiKirc92,
   AUTHOR = {Adi, M. and Kirchner, C.},
   TITLE = {{AC-Unification Race: The System Solving Approach, Implementation
	and Benchmarks}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {1},
   PAGES = {51--70},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Harp92,
   AUTHOR = {Harper, R.},
   TITLE = {{Constructing Type Systems over an Operational Semantics}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {1},
   PAGES = {71--84},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Diet92,
   AUTHOR = {Dietrich, V.},
   TITLE = {{ELISE, an Algorithm to Compute Asymptotic Representations
	for Solutions of Linear Differential Equations, Realized with the 	
	Computer Algebra System MAPLE}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {1},
   PAGES = {85--92},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Rich92,
   AUTHOR = {Richardson, J.},
   TITLE = {{The Blockhandler and the Bitfield Package}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {1},
   PAGES = {93--102},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {CarmDeviFee92,
   AUTHOR = {Carminati, J., Devitt, J.S. and Fee, G.J.},
   TITLE = {{Isogroups of Differential Equations Using Algebraic Computing}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {1},
   PAGES = {103--120},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Buch92,
   AUTHOR = {Buchberger, B.},
   TITLE = {{Special Issue of JSC on "Symbolic Computation in 
	Combinatorics"-Foreword of the Editor-in-Chief}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {121--122},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {PaulZeil92,
   AUTHOR = {Paule, P. and Zeilberger, D.},
   TITLE = {{Special Issue of JSC on "Symbolic Computation in 
	Combinatorics"-Foreword of the Guest Editors}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {123--126},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {BergBerg92,
   AUTHOR = {Bergeron, F. and Bergeron, N.},
   TITLE = {{Symbolic Manipulation for the Study of the Descent Algebra of 
	Finite Coxeter Groups}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {127--140},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {GarvGonn92,
   AUTHOR = {Garvan, F.G. and Gonnet, G.H.},
   TITLE = {{A Proof for the Two Parameter Q-Cases of the Macdonald-Morris 
	Constant Term Root System Conjecture for S(F4) and S(F4) via 
	Zeilberger�s Method}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {141--178},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {Gess92,
   AUTHOR = {Gessel, I.M.},
   TITLE = {{Super Ballot Numbers}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {179--194},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {KerbKohnLasc92,
   AUTHOR = {Kerber, A., Kohnert, A. and Lascoux, A.},
   TITLE = {{SYMMETRICA, an Object Oriented Computer-Algebra System
	for the Symmetric Group}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {195--204},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {Kohn92,
   AUTHOR = {Kohnert, A.},
   TITLE = {{Schubert Polynomials and Skew Schur Functions}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {205--210},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {Labe92,
   AUTHOR = {Labelle, g.},
   TITLE = {{Counting Asymmetric Enriched Trees}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {211--242},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {Petk92,
   AUTHOR = {Petkovsek, M.},
   TITLE = {{Hypergeometric Solutions of Linear Recurrences with Polynomial
	Coefficents}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {243--264},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {Taka92,
   AUTHOR = {Takayama, N.},
   TITLE = {{An Approach to the Zero Recognition Problem by Buchberger 
	Algorithm}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {2},
   PAGES = {265--282},
   MONTH = {August&September},
   KEYWORDS = {}}
 

@ARTICLE {Boyd92,
   AUTHOR = {Boy De La Tour, T.},
   TITLE = {{An Optimality Result for Clause Form Translation}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {4},
   PAGES = {283--302},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {DougJoha92,
   AUTHOR = {Dougherty, D.J. and Johann, P.},
   TITLE = {{An Improved General E-Unification Method}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {4},
   PAGES = {303--320},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Mill92,
   AUTHOR = {Miller, D.},
   TITLE = {{Unification Under a Mixed Prefix}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {4},
   PAGES = {321--358},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Zhan92,
   AUTHOR = {Zhang, L.},
   TITLE = {{Some Properties of Finite Special String-Rewriting Systems}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {4},
   PAGES = {359--370},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Mcnu92,
   AUTHOR = {McNulty, G.F.},
   TITLE = {{A Field Guide to Equational Logic}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {4},
   PAGES = {371--398},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {YokoNoroTake92,
   AUTHOR = {Yokoyama, K., Noro, M. and Takeshima, T.},
   TITLE = {{Solutions of systems of algebraic equations and linear maps on 
	residue class rings}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {4},
   PAGES = {399--417},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Lesc92,
   AUTHOR = {Lescanne, P.},
   TITLE = {{Well Rewrite Orderings and Well Quasi-Orderings}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {5},
   PAGES = {419--436},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Trei92,
   AUTHOR = {Treinen, R.},
   TITLE = {{A New Method for Undecidablity Proofs of First Order Theories}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {5},
   PAGES = {437--458},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {GaoChou92,
   AUTHOR = {Gao, X.-S. and Chou, S.-C.},
   TITLE = {{Implicitization of Rational Parametric Equations}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {5},
   PAGES = {459--470},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Paue92,
   AUTHOR = {Pauer, G.},
   TITLE = {{On Lucky Ideals for Gr{\"o}bner Basis Computations}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {5},
   PAGES = {471--482},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Rutm92,
   AUTHOR = {Rutman, E.W.},
   TITLE = {{Gr{\"o}bner Bases and Primary Decomposition of Modules}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {5},
   PAGES = {483--504},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Shen92,
   AUTHOR = {Shen, B.-Z.},
   TITLE = {{Solving a Congruence on a Graded Algebra by a Subresultant
        Sequence and its Application}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {5},
   PAGES = {505--522},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {BarbBettBett92,
   AUTHOR = {Barbier, C., Bettess, P. and Bettess, J.A.},
   TITLE = {{Automatic Generation of Mapping Functions for Infinite
	Elements Using REDUCE}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {5},
   PAGES = {523--534},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Dome92,
   AUTHOR = {Domenjoud, E.},
   TITLE = {{AC Unification Through Order-Sorted AC1 Unification}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {6},
   PAGES = {537--556},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Schi92,
   AUTHOR = {Schicho, J.},
   TITLE = {{On the Choice of Pencils in the Parametrization of Curves}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {6},
   PAGES = {557--576},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Paul92,
   AUTHOR = {Paul, E.},
   TITLE = {{A General Refutational Completeness Result for an Inference 
	Procedure Based on Associative-Commutative Unification}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {6},
   PAGES = {577--618},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Rich92,
   AUTHOR = {Richardson, D.},
   TITLE = {{Computing the Topology of Bounded Non-Algebraic Curve in the 
	Plane}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {6},
   PAGES = {619--644},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {BerqCeccGoldRive92,
   AUTHOR = {Berque, D., Cecchini, R., Goldberg, M. and Rivenburgh, R.},
   TITLE = {{The Set Player System for Symbolic Computation on Power Sets}},
   JOURNAL = JSC,
   YEAR = {1992},
   VOLUME = {14},
   NUMBER = {6},
   PAGES = {645--662},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {PuelSuar93,
   AUTHOR = {Puel, L. and Suarez, A.},
   TITLE = {{Compiling Pattern Matching by Term Decomposition}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {1-26},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {Side93,
   AUTHOR = {Sidebottom, G.},
   TITLE = {{Implementing CLP (B) using the Connection Theorem Proving Method 
	and a Clause Management System}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {27--48},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {AdamBoylLous93,
   AUTHOR = {Adams, W.W., Boyle, A. and Loustaunau, P.},
   TITLE = {{Transitivity for Weak and Strong Groebner Bases}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {49--66},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {BurrLawr93,
   AUTHOR = {Burris, S. and Lawrence, J.},
   TITLE = {{The Equivalence Problem for Finite Rings}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {67--72},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {KlimLeonRude93,
   AUTHOR = {Klimov, D.M., Leonov, V.V. and Rudenko, V.M.},
   TITLE = {{The Study of Motion for a Gyroscope with Gimbal Suspension: 
	Obtaining the Highest Approximations for a Drift of Magnus}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {73--78},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {BennGrinHubb93,
   AUTHOR = {Bennett, J.P., Grinfeld, M. and Hubble, J.},
   TITLE = {{Computer Algebra Techniques in Affinity Binding Equations:the 
	Dimer Case}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {79--84},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {Zhar93,
   AUTHOR = {Zharkov, A.Yu.},
   TITLE = {{Computer Classification of the Integrable Coupled Kdv-Like 
	Systems with Unit Main Matrix}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {85--90},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {Mill93,
   AUTHOR = {Mills, H.S.D.},
   TITLE = {{Symbolically Precise Solutions to a Homogeneous Second Order 
	Matrix Ordinary Differential Equation with Macsyma}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {1},
   PAGES = {91--98},
   MONTH = {January},
   KEYWORDS = {}}
 

@ARTICLE {ManoCann93,
   AUTHOR = {Manocha, D. and Canny, J.F.},
   TITLE = {{Multipolynomial Resultant Algorithms}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {99--122},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {MuraKobaFuji93,
   AUTHOR = {Murao, H., Kobayashi, H. and Fujise, T.},
   TITLE = {{On Factorizing Symbolic the Symbolic U-Resultant - Application 
	of the ddet Operator}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {123--142},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Kalk93,
   AUTHOR = {Kalkbrener, M.},
   TITLE = {{A Generalized Euclidean Algorithm for Computing Triangular 
	Representations of Algebraic Varieties}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {143--168},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Jebe93,
   AUTHOR = {Jebelean, T.},
   TITLE = {{An Algorithm for Exact Division}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {169--180},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Limo93,
   AUTHOR = {Limongelli, C.},
   TITLE = {{On an Efficient Algorithm for Big Rational Number Computations by 
	Parallel p-Adics}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {181--198},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Gr{\"a}b93,
   AUTHOR = {Gr\"a}be, H,-G.},
   TITLE = {{On Lucky Primes}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {199--210},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Wurs93,
   AUTHOR = {Wursthorn, M.},
   TITLE = {{Isomorphisms of Modular Group Algebras: An Algorithm and its
	Application to Groups of Order 2-6}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {211--228},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {ButlCann93,
   AUTHOR = {Butler, G. and Cannon, J.J.},
   TITLE = {{On Holt's Algorithm}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {229--234},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {That93,
   AUTHOR = {Thatte, S.R.},
   TITLE = {{Finite Acyclic Theories are Unitary}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {2},
   PAGES = {235--249},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Beck93,
   AUTHOR = {Becker, T.},
   TITLE = {{Standard Bases in Power Series Rings:Uniqueness and Superfluous 
	Critical Pairs}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {251--266},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Rutm93,
   AUTHOR = {Rutman, E.W.},
   TITLE = {{Primary Decomposition of Modules:two Variables over a Field}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {267--276},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Dub�93,
   AUTHOR = {Dub�, T.W.},
   TITLE = {{A Combinatorial Proof of the Effective Nullstellensatz}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {277--296},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Lipp93,
   AUTHOR = {Lippok, F.},
   TITLE = {{On the Representation of 1 by Binary Cubic Forms of Positive 
	Discriminant}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {297--314},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Deut93,
   AUTHOR = {Deutsch, J.I.},
   TITLE = {{Identities Arising from Hecke Transformations of Modular Forms 
	over Q( 2) and Q( 3)}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {315--324},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Wils93,
   AUTHOR = {Wilson, R.A.},
   TITLE = {{The Brauer Tree for J3 in Characteristic 17}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {325--330},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {MiddToya93,
   AUTHOR = {Middeldorp, A. and Toyama, Y.},
   TITLE = {{Completeness of Combinations of Constructor Systems}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {331--348},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {WangWoo93,
   AUTHOR = {Wang, R. and Woo, P.Y.},
   TITLE = {{Automatic Computation of Z- & Inverse Z-Transformations by 
	MAPLE}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {349--364},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Berg93,
   AUTHOR = {Bergeron, F.},
   TITLE = {{Surprising Mathematics Using a Computer Algebra System}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {3},
   PAGES = {365--370},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Viry93,
   AUTHOR = {Viry, G.},
   TITLE = {{Factorization of Multivariate Polynomials with Coefficients in 
	Fp}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {4},
   PAGES = {371--392},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {BeauTrevWang93,
   AUTHOR = {Beauzamy, B., Trevisan, V. and Wang, P.S.},
   TITLE = {{Polynomial Factorization:Sharp Bounds, Efficient Algorithms}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {4},
   PAGES = {393--414},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {Snyd93,
   AUTHOR = {Snyder, W.},
   TITLE = {{A Fast Algorithm for Generating Reduced Ground Rewriting Systems 
	from a Set of Ground Equations}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {4},
   PAGES = {415--450},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {ZhanShirYun93,
   AUTHOR = {Zhang, C.N., Shirazi, B. and Yun, D.Y.Y.},
   TITLE = {{An Efficient Algorithm and Parallel Implementations
	for Binary and Residue Number Systems}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {4},
   PAGES = {451--462},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {BibeBier93,
   AUTHOR = {Bibel, W. and Biermann, A.W.},
   TITLE = {{Special Issue: Automatic Programming - Froeword of the Guest 
	Editors}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {463--466},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {DersRedd93,
   AUTHOR = {Dershowitz, N. and Reddy, U.S.},
   TITLE = {{Deductive and Inductive Synthesis of Equational Programs}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {467--494},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {BoulBruy93,
   AUTHOR = {Boulanger, D. and Bruynooghe},
   TITLE = {{Deriving Fold/Unfold Transformations of Logic Programs Using
	Extended OLDT-Based Abstract Interpretion}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {495--522},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {VandKlinTip93,
   AUTHOR = {Van Deursen, A., Klint, P. and Tip, F.},
   TITLE = {{Origin Tracking}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {523--546},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {ClauMong93,
   AUTHOR = {Clauss, P. and Mongenet, C.},
   TITLE = {{Synthesis Aspects in the Design of Efficient Processor Arrays 		
	from Affine Recurrence Equations}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {547--570},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {Smit93,
   AUTHOR = {Smith, D.R.},
   TITLE = {{Constructing Specification Morphisms}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {571--606},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {PaulWern93,
   AUTHOR = {Paulin-Mohring, c. and Werner, B.},
   TITLE = {{Synthesis of ML Programs in the System Coq}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {607--640},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {Taka93,
   AUTHOR = {Takayama, Y.},
   TITLE = {{QPC2: A Constructive Calculus with Parameterized 
	Specifications}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {641--672},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {OmodParlPoli93,
   AUTHOR = {Omodeo, E.G., Parlamento, F. and Policriti, A.},
   TITLE = {{A Derived Algorithm for Evaluating, E-Expressions over Abstract 	
	Sets}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {673--704},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {ChadPlai93,
   AUTHOR = {Chadha, R. and Plaisted, D.A.},
   TITLE = {{On the Mechanical Derivation of Loop Invariants}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {705--744},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {DersLee93,
   AUTHOR = {Dershowitz, N. and Lee, Y.-L.},
   TITLE = {{Logical Debugging}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {745--774},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {FlenDevi93,
   AUTHOR = {Logic Program Synthesis from Incomplete Specifications},
   TITLE = {{}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {775--806},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {FahmBier93,
   AUTHOR = {Fahmy, A.F. and Biermann, A.W.},
   TITLE = {{Synthesis of Real Time Acceptors}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {15},
   NUMBER = {5&6},
   PAGES = {807--842},
   MONTH = {May&June},
   KEYWORDS = {}}
 

@ARTICLE {Saux93,
   AUTHOR = {Saux Picart, M.Ph.},
   TITLE = {{Schur-Cohn Sub-Tranforms of a Polynomial}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {1},
   PAGES = {1--8},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {SingUlme93,
   AUTHOR = {Singer, M.F. and Ulmer, F.},
   TITLE = {{Galois Groups of Second and Third Order Linear Differential 
	Equations}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {1},
   PAGES = {9--36},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {SingUlme93,
   AUTHOR = {Singer, M.F. and Ulmer, F.},
   TITLE = {{Liouvillian and Algebraic Solutions of Second and Third Order 
	Linear Differential Equations}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {1},
   PAGES = {37--74},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {KalkSweeTayl93,
   AUTHOR = {Kalkbrener, M., Sweedler, M. and Taylor, L.},
   TITLE = {{Low Degree Solutions to Linear Equations with K(x) Coeffients}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {1},
   PAGES = {75--81},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {Wang93,
   AUTHOR = {Wang, D.},
   TITLE = {{An Elimination Method for Polynomial Systems}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {2},
   PAGES = {83--114},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Boyd93,
   AUTHOR = {Boyd, D.W.},
   TITLE = {{Bounds for the Height of a Factor of a Polynomial in Terms of
	Bombieri�s Norms: I. The Largest Factor}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {2},
   PAGES = {115--130},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Boyd93,
   AUTHOR = {Boyd, D.W.},
   TITLE = {{Bounds for the Height of a Factor of a Polynomial in Terms of
	Bombieri�s Norms: I. The Smallest Factor}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {2},
   PAGES = {131--146},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {AndrPaul93,
   AUTHOR = {Andrews, G.E. and Paule, P.},
   TITLE = {{Some Questions Concerning Computer-Generated Proofs of a Binomial 
	Double-Sum Identity}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {2},
   PAGES = {147--154},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Scho93,
   AUTHOR = {Schorn, P.},
   TITLE = {{An Axiomatic Approach to Robust Geometric Programs}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {2},
   PAGES = {155--166},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {MadlSattOtto93,
   AUTHOR = {Madlener, K., Sattler-Klein, A. and Otto, F.},
   TITLE = {{On the problem of Generating Small Convergent Systems}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {2},
   PAGES = {167--188},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Torg93,
   AUTHOR = {Torgersen, T.},
   TITLE = {{Parallel Scheduling of Recursively Defined Arrays:Revisted}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {2},
   PAGES = {189--226},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Know93,
   AUTHOR = {Knowles, P.H.},
   TITLE = {{Integration of a Class of Transcendental Liouvillian Functions 
	with Error - Functions, Part II}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {227--242},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {LisoPaulStre93,
   AUTHOR = {Lisonek, P., Paule, P. and Strehl, V.},
   TITLE = {{Improvement of the Degree Setting in Gosper�s Algorithm}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {243--258},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Rieg93,
   AUTHOR = {Rieger, J.H.},
   TITLE = {{Computing View Graphs of Algebraic Surfaces}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {259--272},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {ReevStur93,
   AUTHOR = {Reeves, A. and Sturmfels, B.},
   TITLE = {{A Note on Polynomial Reduction}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {273--278},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {FreeJezeNati93,
   AUTHOR = {Freese, R., Jezek, J. and Nation, J.B.},
   TITLE = {{Term Rewrite Systems for Lattice Theory}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {279--288},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {HentJacoMudd93,
   AUTHOR = {Hentzel, I.R., Jacobs, D.P. and Muddana, S.V.},
   TITLE = {{Experimenting with the Identity (xy)z=y(zx)}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {289--294},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Gaal93,
   AUTHOR = {Ga�l, I.},
   TITLE = {{On the resolution of F(x,y)=G(x,y)}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {295--304},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Obri93,
   AUTHOR = {O�Brien, E.A.},
   TITLE = {{Isomorphism Testing for P-Groups}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {3},
   PAGES = {305--320},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Gaal93,
   AUTHOR = {Ga�l, I.},
   TITLE = {{On the Resolution of F(x,y)=G(x,y) over Imaginary Quadratic 
	Fields}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {4},
   PAGES = {321--328},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {FaugGianLazaMora93,
   AUTHOR = {Faug�re, J.C., Gianni, P., Lazard, D. and Mora T.},
   TITLE = {{Efficient Computation of Zero-Dimensional Gr{\"o}bner Basis by 
	Change of Ordering}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {4},
   PAGES = {329--344},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Vaug93,
   AUTHOR = {Vaughan-Lee, M.},
   TITLE = {{An Algorithm for Computing Graded Algebras}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {4},
   PAGES = {345--354},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Man93,
   AUTHOR = {Man, Y.-K.},
   TITLE = {{On Computing Closed Forms for Indefinite Summations}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {4},
   PAGES = {355--376},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Boyd93,
   AUTHOR = {Boyd, J.P.},
   TITLE = {{Chebyshev and Legendre Spectral Methods in Algebraic Manipulation
	Languages}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {4},
   PAGES = {377--399},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {NiedG{\"o}tt93,
   AUTHOR = {Niederreiter, H. and G{\"o}ttfert, R.},
   TITLE = {{Factorization of Polynomials over Finite Fields and 
	Characteristic Sequences"}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {5},
   PAGES = {401--412},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Butl93,
   AUTHOR = {Butler, G.},
   TITLE = {{The Transitive Groups of Degree Fourteen and Fifteen}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {5},
   PAGES = {413--422},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Man93,
   AUTHOR = {Man, Y.-K.},
   TITLE = {{Computing Closed-Form Solutions of First Order ODEs Using the
	Prelle-Singer Procedure}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {5},
   PAGES = {423--444},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {BaumFurb93,
   AUTHOR = {Baumgartner, P. and Furbach, U.},
   TITLE = {{Consolution as a Framework for Comparing Calculi}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {5},
   PAGES = {445--477},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {BeraVent93,
   AUTHOR = {Berarducci, A. and Venturini Zilli, M.},
   TITLE = {{Generalizations of Unification}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {5},
   PAGES = {478--492},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Cont93,
   AUTHOR = {Contejean, E.},
   TITLE = {{Solving *-Problems Modulo Distributivity by a Reduction to
	AC1-Unification}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {5},
   PAGES = {493--521},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Rose93,
   AUTHOR = {Rosenmann, A.},
   TITLE = {{An Algorithm for Constructing Groebner and Free Schreier Bases
	in Free Group Algebras}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {6},
   PAGES = {523--550},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Esse93,
   AUTHOR = {Van den Essen, A.},
   TITLE = {{An Algorithm to Compute the Invariant Ring of A Ga-Action on an
	 Affine Variety}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {6},
   PAGES = {551--556},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {JacoMudd93,
   AUTHOR = {Jacobs, D.P. and Muddana, S.V.},
   TITLE = {{The Word Problem for Free Partially Commutative, Partially
	Associative Groupoids}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {6},
   PAGES = {557--562},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {GaalPethPohs93,
   AUTHOR = {Gaal, I., Peth{\"o}, A. and Pohst, M.},
   TITLE = {{On the Resolution of Index Form Equations in Quartic Number 	
	Fields}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {6},
   PAGES = {563--584},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {GaoChou93,
   AUTHOR = {Gao, X.-S. and Chou, S.-C.},
   TITLE = {{A Zero Structure Theorem for Differential Parametric Systems}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {6},
   PAGES = {585--596},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Boud93,
   AUTHOR = {Boudet, A.},
   TITLE = {{Combining Unification Algorithms}},
   JOURNAL = JSC,
   YEAR = {1993},
   VOLUME = {16},
   NUMBER = {6},
   PAGES = {597--626},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Midd94,
   AUTHOR = {Middeldorp, A.},
   TITLE = {{Completeness of Combinations of Conditiona Constructor 
	Systems}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {1},
   PAGES = {3--21},
   MONTH = {January},
   KEYWORDS = {Special Issue on Conditional Term Rewriting Systems}}
 

@ARTICLE {Zant94,
   AUTHOR = {Zantema, H.},
   TITLE = {{Termination of Term Rewriting: Interpretion and 
	Type Elimination}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {1},
   PAGES = {23--50},
   MONTH = {January},
   KEYWORDS = {Special Issue on Conditional Term Rewriting Systems}}
 

@ARTICLE {WirtGram94,
   AUTHOR = {Wirth, C.-P. and Gramlich, B.},
   TITLE = {{A Constructor-Based Approach to 
	Positive/Negative-Conditional Equational Specifications}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {1},
   PAGES = {51--90},
   MONTH = {January},
   KEYWORDS = {Special Issue on Conditional Term Rewriting Systems}}
 

@ARTICLE {HofbHube94,
   AUTHOR = {Hofbauer, D. and Huber, M.},
   TITLE = {{Linearizing Term Rewriting Systems 
	Using Test-Sets}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {1},
   PAGES = {91--129},
   MONTH = {January},
   KEYWORDS = {Special Issue on Conditional Term Rewriting Systems}}
 

@ARTICLE {O'Bri94,
   AUTHOR = {O'Brien, E.A.},
   TITLE = {{Isomorphism Testing for p-groups}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {2},
   PAGES = {133--148},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Fr{\"o}bHoll94,
   AUTHOR = {Fr{\"o}berg, T. and Hollman, J.},
   TITLE = {{"Hilbert Series for Ideals Generated by Generic Forms"}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {2},
   PAGES = {149--158},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {BrowTonk94,
   AUTHOR = {Brown, R. and Tonks, A.},
   TITLE = {{Calculations with Simplicial and Cubical Groups in AXIOM}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {2},
   PAGES = {159--180},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {KeanTsik94,
   AUTHOR = {Kean, A. and Tsiknis, G.},
   TITLE = {{A Corrigendum for the Optimized-IPIA}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {2},
   PAGES = {181--188},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Zhan94,
   AUTHOR = {Zhang, H.},
   TITLE = {{A New Method for the Boolean Ring Based Theorem Proving}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {2},
   PAGES = {189--212},
   MONTH = {February},
   KEYWORDS = {}}
 

@ARTICLE {Eite94,
   AUTHOR = {Eiter T.},
   TITLE = {{Exact Transversal Hypergraphs and Application to 
	Boolean �-Functions}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {3},
   PAGES = {215--226},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Salv94,
   AUTHOR = {Salvy, B.},
   TITLE = {{Fast Computation of Some Asymptotic Functional Inverses}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {3},
   PAGES = {227--236},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Davi94,
   AUTHOR = {Davies, R.A.},
   TITLE = {{Idempotent Computation over Finite Fields}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {3},
   PAGES = {237--258},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {Deho94,
   AUTHOR = {Dehon, M.},
   TITLE = {{Classifying Geometries with Cayley}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {3},
   PAGES = {259--276},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {MignGles94,
   AUTHOR = {Mignotte, M. and Glesser, P.},
   TITLE = {{On the Smallest Divisor of a Polynomial}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {3},
   PAGES = {277--282},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {GusyKorn94,
   AUTHOR = {Gusynin, V.P. and Kornyak, V.V.},
   TITLE = {{Symbolic Computation of DeWitt- 	
	Seeley-Gilley Coefficients on Curved Manifolds}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {3},
   PAGES = {283--294},
   MONTH = {March},
   KEYWORDS = {}}
 

@ARTICLE {MehlN{\"a}heNiev94,
   AUTHOR = {Mehlhorn, K., N{\"a}her, S. and Nievergelt J.},
   TITLE = {{Introduction}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {4},
   PAGES = {295},
   MONTH = {April},
   KEYWORDS = {Special Issue on Algorithms: Implementation, 
	Libraries and Use}}
 

@ARTICLE {Niev94,
   AUTHOR = {Nievergelt, J.},
   TITLE = {{Complexity, Algorithms, Programs, Systems: 
	The Shifting Focus}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {4},
   PAGES = {297--310},
   MONTH = {April},
   KEYWORDS = {Special Issue on Algorithms: Implementation, 
	Libraries and Use}}
 

@ARTICLE {Scho94,
   AUTHOR = {Schorn, P.},
   TITLE = {{Evolution of a Software System: Interaction, Interfaces
	and Applications in the XYZ GeoBench}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {4},
   PAGES = {311--320},
   MONTH = {April},
   KEYWORDS = {Special Issue on Algorithms: Implementation,
	Libraries and Use}}
 

@ARTICLE {WebeKnipAlt94,
   AUTHOR = {Weber, G., Knipping, L. and Alt, H.},
   TITLE = {{An Application of Point Pattern Matching in Astronautics}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {4},
   PAGES = {321-340},
   MONTH = {April},
   KEYWORDS = {Special Issue on Algorithms: Implementation,
	Libraries and Use}}
 

@ARTICLE {RaymWood94,
   AUTHOR = {Raymond, D. and Wood, D.},
   TITLE = {{Grail: A C++ Library for Automata and 
	Expressions}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {4},
   PAGES = {341-350},
   MONTH = {April},
   KEYWORDS = {Special Issue on Algorithms: Implementation,
	Libraries and Use}}
 

@ARTICLE {WelzWolf94,
   AUTHOR = {Welzl, E. and Wolfers B.},
   TITLE = {{Surface Reconstruction between 
	Simple Polygons via Angle Criteria}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {4},
   PAGES = {351--369},
   MONTH = {April},
   KEYWORDS = {Special Issue on Algorithms: Implementation,
	Libraries and Use}}


@ARTICLE {Shou94,
   AUTHOR = {Shoup, V.},
   TITLE = {{Fast Construction of Irreducible Polynomials over Finite 
	Fields"}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {5},
   PAGES = {371--391},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {LarsSchw94,
   AUTHOR = {Larsen, K.S. and Schwartzbach, M.I.},
   TITLE = {{Injectivity of Composite Functions}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {5},
   PAGES = {393--408},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {LuccMene94,
   AUTHOR = {Lucchini, A. and Menegazzo, F.},
   TITLE = {{Computing a Set of Generators of Minimal 	
	Cardinality in a Solvable Group}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {5},
   PAGES = {409-420},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Back94,
   AUTHOR = {Backofen, R.},
   TITLE = {{Regular Path Expressions in Feature Logic}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {5},
   PAGES = {421--455},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Hebe94,
   AUTHOR = {Hebert, D.J.},
   TITLE = {{Symbolic Local Refinement of Tetrahedral Grids}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {5},
   PAGES = {457--472},
   MONTH = {May},
   KEYWORDS = {}}
 
 
@ARTICLE {ShalSore,
   AUTHOR = {Shallit, J. and Sorenson, J.},
   TITLE = {{Analysis of a Left-Shift Binary GCD Algorithm}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {6},
   PAGES = {473--486},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {Worf,
   AUTHOR = {Worfolk, P.A.},
   TITLE = {{Zeros of Equivariant Vector Fields: Algorithms for an Invariant
	Approach}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {6},
   PAGES = {487--512},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {CoopFink,
   AUTHOR = {Cooperman, G. and Finkelstein, L.},
   TITLE = {{A Random Base Change Algorithm for Permutation Groups}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {6},
   PAGES = {513--528},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {LuxM\"{u}llRing,
   AUTHOR = {Lux, K. and M\"{u}ller, J. and Ringe, M.},
   TITLE = {{Peakword Condensation and Submodule Lattices: An Application 
	of the Meat-Axe}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {6},
   PAGES = {529--544},
   MONTH = {June},
   KEYWORDS = {}}
 

@ARTICLE {YokoNoroTake,
   AUTHOR = {Yokoyama, K. and Noro, M. and Takeshima, T.},
   TITLE = {{Multi-Modular Approach to Polynomial-Time Factorization 
	of Bivariate Integral Polynomials}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {17},
   NUMBER = {6},
   PAGES = {545--563},
   MONTH = {June},
   KEYWORDS = {}}
 


@ARTICLE {PrieWard94,
   AUTHOR = {Priestley, H.A. and Ward, M.P.},
   TITLE = {{A Multipurpose Backtracking Algorithm}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {1},
   PAGES = {1--40},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {MiglMoscOrna94,
   AUTHOR = {Miglioli, P. and Moscato, U. and Ornaghi, M.},
   TITLE = {{Abstract Parametric Classes and Abstrct Data Types Defined by
	Classical and Constructive Logical Methods}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {1},
   PAGES = {41--82},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {D{\"u}nt94,
   AUTHOR = {D{\"u}ntsch, I.},
   TITLE = {{A Microcomputer Based System for Small Relation Algebras}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {1},
   PAGES = {83--86},
   MONTH = {July},
   KEYWORDS = {}}
 

@ARTICLE {OrrZeil94,
   AUTHOR = {Orr, C.R. and Zeilberger, D.},
   TITLE = {{A Computer Algebra Approach to the Discrete Dirichlet Problem}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {1},
   PAGES = {87--90},
   MONTH = {July},
   KEYWORDS = {}}
 


@ARTICLE {CremOtto94,
   AUTHOR = {Cremanns, R. and Otto, F.},
   TITLE = {{Finite Derivation Type Implies the Homological Finiteness 
	Condition FP3}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {2},
   PAGES = {91--112},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {KircRing94,
   AUTHOR = {Kirchner, H. and Ringeissen, C.},
   TITLE = {{Combining Symbolic Constraints Solvers on Algebraic Domains}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {2},
   PAGES = {113--156},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {YamaIida94,
   AUTHOR = {Yamasaki, S. and Iida, K.},
   TITLE = {{Transformation of Logic Programs to FP Programs Based on 	
	Dataflows}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {2},
   PAGES = {157--182},
   MONTH = {August},
   KEYWORDS = {}}
 

@ARTICLE {Pan94,
   AUTHOR = {Pan, V.},
   TITLE = {{Simple Multivariate Polynomial Multiplication}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {3},
   PAGES = {183--186},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Wang94,
   AUTHOR = {Wang, X.},
   TITLE = {{The Hecke Operators on Sk(T1(N))}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {3},
   PAGES = {187--198},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Meer94,
   AUTHOR = {Meer, K.},
   TITLE = {{Real Number Computations:On the Use of Information}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {3},
   PAGES = {199--206},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {SawaTeraAiba94,
   AUTHOR = {Sawada, H. and Terasaki, S. and Aiba, A.},
   TITLE = {{Parallel Computation of Gr{\"o}bner Bases on 
	Distributed Memory Machines}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {3},
   PAGES = {207--222},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {OakuShim94,
   AUTHOR = {Oaku, T. and Shimuyama, T.},
   TITLE = {{A Gr{\"o}bner Basis Method for Modules over 	
	Rings of Differential Operators}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {3},
   PAGES = {223--248},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Wang94,
   AUTHOR = {Wang, D.},
   TITLE = {{Differentiation and Integration of Indefinite 
	Summations with Respect to Indexed Variables}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {3},
   PAGES = {249--264},
   MONTH = {September},
   KEYWORDS = {}}
 

@ARTICLE {Sofr94,
   AUTHOR = {Sofroniou, M.},
   TITLE = {{Symbolic Derivation of Runge-Kutta Methods}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {3},
   PAGES = {265--296},
   MONTH = {September},
   KEYWORDS = {}}
  

@ARTICLE {LugiMoys94,
   AUTHOR = {Lugiez D. and Moysset J.L.},
   TITLE = {{Tree Automata Help Solve Equational
	Formulae in AC-Theories}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {4},
   PAGES = {297--318},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Dura94,
   AUTHOR = {Durand I.},
   TITLE = {{Bounded, Strongly Sequential and Forward-Branching 
	Term Rewriting Systems}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {4},
   PAGES = {319--352},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Hoeij94,
   AUTHOR = {VanHoeij, M.},
   TITLE = {{An Algorithm for Computing an Integral Basis 
	in an Algebraic Function Field}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {4},
   PAGES = {353--364},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Kalk94,
   AUTHOR = {Kalkbrener M.},
   TITLE = {{Prime Decompositions of Radicals in 
	Polynomial Rings}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {4},
   PAGES = {365--372},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Hrei94,
   AUTHOR = {Hreinsdottir H.},
   TITLE = {{A Case Where Choosing a Product Order Makes 
	the Calculations of a Groebner Basis Much Faster}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {4},
   PAGES = {373--378},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {MignGles94,
   AUTHOR = {Mignotte M. and Glesser Ph.},
   TITLE = {{Landau's Inequality via Hadamard's}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {4},
   PAGES = {379--384},
   MONTH = {October},
   KEYWORDS = {}}
 

@ARTICLE {Ulme94,
   AUTHOR = {Ulmer F.},
   TITLE = {{Irreducible Linear Differential Equations of Prime Order}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {4},
   PAGES = {385--401},
   MONTH = {October},
   KEYWORDS = {}}


@ARTICLE {Yama94,
   AUTHOR = {Yamamoto, O.},
   TITLE = {{On Some Bounds for Zeros of Norm-Bounded 
	Polynomials}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {5},
   PAGES = {403--428},
   MONTH = {November},
   KEYWORDS = {}}
 

 @ARTICLE {Duva94,
   AUTHOR = {Duval, D.},
   TITLE = {{Algebraic Numbers:An Example of Dynamic Evaluation}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {5},
   PAGES = {429--446},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Assi94,
   AUTHOR = {Assi, A.},
   TITLE = {{On Flatness of Generic Projections}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {5},
   PAGES = {447--462},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Niem94,
   AUTHOR = {Niemeyer, A.C.},
   TITLE = {{A Finite Soluble Quotient Algorithm}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {5},
   PAGES = {463--488},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {Weie94,
   AUTHOR = {Weiermann, A.},
   TITLE = {{Complexity Bounds for Some Finite Forms 
	of Kruskal�s Theorem}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {5},
   PAGES = {489--495},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {AptEmdeWell94,
   AUTHOR = {Apt, K. and VanEmdeBoas, P. and Welling, A.},
   TITLE = {{The STO-Problem is NP-Hard}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {5},
   PAGES = {489--495},
   MONTH = {November},
   KEYWORDS = {}}
 

@ARTICLE {BarkCaccEcksMoriRee94,
   AUTHOR = {Barkee, B. and CacCan, D. and Ecks, J. and Moriarty, T. and  
	Ree, R.F.},
   TITLE = {{Why You Cannot Even Hope to Use Gr�bner Bases in Public 
	Key Cryptography:An Open Letter to a Scientist Who Failed and a
	Challenge to Those Who Have Not Yet Failed}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {6},
   PAGES = {497--502},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Ma94,
   AUTHOR = {Ma, Y.},
   TITLE = {{On the Minors Defined by a Generic Matrix}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {6},
   PAGES = {503--518},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {HuanIera94,
   AUTHOR = {Huang, M.-D. and Ierardi, D.},
   TITLE = {{Efficient Algorithms for the 
	Riemann-Roch Problem and for Addition 
	in the Jacobian of a Curve}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {6},
   PAGES = {519--540},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Niem94,
   AUTHOR = {Niemeyer, A.C.},
   TITLE = {{A Finite Soluble Quotient Algorithm}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {6},
   PAGES = {541--562},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {PedeYode94,
   AUTHOR = {Pedersen, J. and Yoder, M.},
   TITLE = {{Term Rewriting for the Conjugacy Problem 
	and the Braid Groups}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {6},
   PAGES = {563--572},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Gemi94,
   AUTHOR = {Gemignani, L.},
   TITLE = {{Solving Hankel Systems over the Integers}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {6},
   PAGES = {573--584},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {Bach94,
   AUTHOR = {Bach, E.},
   TITLE = {{Tensor Products and Computability}},
   JOURNAL = JSC,
   YEAR = {1994},
   VOLUME = {18},
   NUMBER = {6},
   PAGES = {585--593},
   MONTH = {December},
   KEYWORDS = {}}
 

@ARTICLE {YiXuf95,
   AUTHOR = {Yi, B. and Xu, Y.},
   TITLE = {{Analogical Type Theory}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {3--24},
   MONTH = {January, February, March},
   KEYWORDS = {Special Issue on DISCO 1993}}
 

@ARTICLE {Webe95,
   AUTHOR = {Weber, A.},
   TITLE = {{On Coherence in Computer Algebra}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {25--38},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {BlasTemp95,
   AUTHOR = {DiBlasio, P. and Temperini, M.},
   TITLE = {{Subtyping Inheritance 
	and its Application in Languages for 
	Symbolic Computation Systems}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {39--64},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {HearSchr95,
   AUTHOR = {Hearn, A.C. and Schruefer, E.},
   TITLE = {{A Computer Algebra 
	System Based on Order-Sorted Algebra}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {65--79},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {Sant95,
   AUTHOR = {Santas, P.S.},
   TITLE = {{A Type System for Computer Algebra}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {79--110},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}


@ARTICLE {HongNeubSchr95,
   AUTHOR = {Hong, H. and Neubacher, A. and Schreiner, W.},
   TITLE = {{The Design of the SACLIB/PACLIB Kernels}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}


@ARTICLE {Norm95,
   AUTHOR = {Norman, A.C.},
   TITLE = {{Compact Delivery Support for REDUCE}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {133--144},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {Jebe95,
   AUTHOR = {Jebelean, T.},
   TITLE = {{A Double-Digit Lehmer-Euclid Algorithm 
	for Finding the GCD of Long Integers}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {145--158},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {FourKajlMour95,
   AUTHOR = {Fournier, R. and Kajler, N. and Mourrain, B.},
   TITLE = {{Visualization of Mathematical surfaces: the IZIC 
	Server Approach}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {159--174},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {CionColaMiol95,
   AUTHOR = {Cioni, G. and Colagrossi, A. and Miola, A.},
   TITLE = {{A Sequent Calculus for Automated Reasoning in 
	Symbolic Computation Systems}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {175--200},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {FarmGuttThay95,
   AUTHOR = {Farmer, W.M. and Guttman, J.D. and Thayer, F.J.},
   TITLE = {{Contexts 
	in Mathematical Reasoning and Computation}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {201--216},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {CafeHerm95,
   AUTHOR = {Caferra, R. and Herment, M.},
   TITLE = {{A Generic Graphic Framework 
	for Combining Inference Tools and Editing Proofs and 
	Formulae}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {217--244},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {BonaHsia95,
   AUTHOR = {Bonacina, M.P. and Hsiang, J.},
   TITLE = {{Distributed Deduction 
	by Clause-Diffusion: Distributed Contraction
	and the Acquarius Prover}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {245--268},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {DiazHitzKaltLoboVale95,
   AUTHOR = {Diaz, A. and Hitz, M. and Kaltofen, E. and Lobo, A. and 
	Valente, T.},
   TITLE = {{Process Scheduling in DSC and the Large 
	Sparse Linear Systems Challenge}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {1/2/3},
   PAGES = {269--282},
   MONTH = {January, February, March},
   KEYWORDS = {Special issue on DISCO 1993}}
 

@ARTICLE {G{\"o}b95,
   AUTHOR = {G{\"o}bel, M.},
   TITLE = {{Computing Bases for Rings of Permutation-Invariant 	
	Polynomials}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {4},
   PAGES = {285--292},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {MalmSubr95,
   AUTHOR = {Malm, D.E.G. and Subramaniam, T.N.},
   TITLE = {{The Summation of Rational Functions by an 
	Extended Gosper Algorithm}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {4},
   PAGES = {293--304},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {Poli95,
   AUTHOR = {Poli, A.},
   TITLE = {{A Deterministic Construction of Normal Basis}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {4},
   PAGES = {305--320},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {NieuRubi95,
   AUTHOR = {Nieuwenhuis, R. and Rubio, A.},
   TITLE = {{Theorem Proving with Ordering and 	
	Equality Constrained Clauses}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {4},
   PAGES = {321--352},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {BaazFerm95,
   AUTHOR = {Baaz, M. and Fermueller, C.G.},
   TITLE = {{Resolution-Based Theorem Proving 
	for Many-Valued Logics}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {4},
   PAGES = {353--391},
   MONTH = {April},
   KEYWORDS = {}}
 

@ARTICLE {LeeSaun95,
   AUTHOR = {Lee, H.R. and Saunders, B.D.},
   TITLE = {{Fraction Free Gaussian Elimination for 
	Sparse Matrices}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {5},
   PAGES = {393--402},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Zhar95,
   AUTHOR = {Zharkov, A.},
   TITLE = {{Coefficient Fields of Solutions in 
	Kovacic's Algorithm}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {5},
   PAGES = {403--408},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {GathWeis95,
   AUTHOR = {VonZurGathen, J. and Weiss, J.},
   TITLE = {{Homogeneous Bivariate Decompositions}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {5},
   PAGES = {409--434},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Cors95,
   AUTHOR = {DelCorso, I.},
   TITLE = {{Factorization of Prime Ideal Extensions in 
	Dedekind Domains}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {5},
   PAGES = {435--440},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {Apel95,
   AUTHOR = {Apel, J.},
   TITLE = {{Gr{\"o}bner Approach to Involutive Bases}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {5},
   PAGES = {441--458},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {CarmLeemWalt95,
   AUTHOR = {Carmody, S. and Leeming, M. and Walters, R.F.C.},
   TITLE = {{The Todd-Coxeter Procedure and Left 
	Kan Extensions}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {5},
   PAGES = {459--488},
   MONTH = {May},
   KEYWORDS = {}}
 

@ARTICLE {JezeMcNu95,
   AUTHOR = {Jezek, J. and McNulty, G.F.},
   TITLE = {{Perfect Bases for Equational Theories}},
   JOURNAL = JSC,
   YEAR = {1995},
   VOLUME = {19},
   NUMBER = {5},
   PAGES = {489--505},
   MONTH = {May},
   KEYWORDS = {}}