@article{Chistov/96,
AUTHOR = {Chistov, Alexander L.},
TITLE = {Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {1-25},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pritchard/96,
AUTHOR = {Pritchard, F. Leon},
TITLE = {The ideal membership problem in non-commutative polynomial rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {27-48},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fernandez/96,
AUTHOR = {Fern{\'{a}}ndez, Maribel},
TITLE = {$AC$ complement problems: Satisfiability and negation elimination},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {49-82},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gonzalez-Vega/96,
AUTHOR = {Gonzalez-Vega, Laureano},
TITLE = {Applying quantifier elimination to the Birkhoff interpolation problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {83-103},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Tummarakota-Lieh/96,
AUTHOR = {Tummarakota, Srinivas and Lieh, Junghsen},
TITLE = {Symbolic finite element modeling of structural systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {105-119},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Egly/96,
AUTHOR = {Egly, Uwe},
TITLE = {On different structure-preserving translations to normal form},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {121-142},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Marchiori/96,
AUTHOR = {Marchiori, Massimo},
TITLE = {On the modularity of normal forms in rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {143-154},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cremanns-Otto/96,
AUTHOR = {Cremanns, Robert and Otto, Friedrich},
TITLE = {For groups the property of having finite derivation type is equivalent to the homological finiteness condition $FP_3$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {155-177},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ulmer-Weil/96,
AUTHOR = {Ulmer, Felix and Weil, Jacques-Arthur},
TITLE = {Note on Kovacic's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {179-200},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Curtis-Hasan/96,
AUTHOR = {Curtis, R.T. and Hasan, Z.},
TITLE = {Symmetric representation of the elements of the Janko Group $J_1$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {201-214},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Buekenhout-Leemans/96,
AUTHOR = {Buekenhout, Francis and Leemans, Dimitri},
TITLE = {On the list of finite primitive permutation groups of degree $\le$ 50},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {215-225},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Aschenwald-Siegl-Tichy/96,
AUTHOR = {Aschenwald, Dieter and Siegl, Thomas and Tichy, Robert F.},
TITLE = {MAPinsure --- A MAPLE package for life insurance},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {227-234},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kozen-Landau-Zippel/96,
AUTHOR = {Kozen, Dexter and Landau, Susan and Zippel, Richard},
TITLE = {Decomposition of algebraic functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {235-246},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shimoyama-Yokoyama/96,
AUTHOR = {Shimoyama, Takeshi and Yokoyama, Kazuhiro},
TITLE = {Localization and primary decomposition of polynomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {247-277},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Levy-Agusti/96,
AUTHOR = {Levy, Jordi and Agust{\'{i}}, Jaume},
TITLE = {Bi-rewrite systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {279-314},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schmidt-Schauss/96,
AUTHOR = {Schmidt-Schau{\"ss}, Manfred},
TITLE = {Decidability of unification in the theory of one-sided distributivity and a multiplicative unit},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {315-344},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zhang/96b,
AUTHOR = {Zhang, Jun},
TITLE = {Symbolic computation on complex polynomial solution of differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {345-354},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Traverso/96,
AUTHOR = {Traverso, Carlo},
TITLE = {Hilbert functions and the Buchberger algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {355-376},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pan/96a,
AUTHOR = {Pan, Victor Y.},
TITLE = {Computing $x^m$ mod $p(x)$ and an application to splitting a polynomial into factors over a fixed disc},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {377-380},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Salinier-Strandh/96,
AUTHOR = {Salinier, Bruno and Strandh, Robert},
TITLE = {Efficient simulation of forward-branching systems with constructor systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {381-399},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Qian-Wang/96,
AUTHOR = {Qian, Zhenyu and Wang, Kang},
TITLE = {Modular higher-order equational preunification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {401-424},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gaal-Pohst/96,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n and Pohst, Michael},
TITLE = {On the resolution of index form equations in sextic fields with an imaginary quadratic subfield},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {425-434},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mrozek/96,
AUTHOR = {Mrozek, Marian},
TITLE = {Rigorous error analysis of numerical algorithms via symbolic computations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {435-458},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{de_Jager-Asch/96,
AUTHOR = {de Jager, Bram and Asch, Bram van},
TITLE = {Symbolic solutions for a class of partial differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {459-468},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fisher-Kono-Orgun/96,
AUTHOR = {Fisher, M. and Kono, S. and Orgun, M.A.},
TITLE = {Editorial: Executable temporal logics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {469-474},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Saraswat-Jagadeesan-Gupta/96,
AUTHOR = {Saraswat, Vijay and Jagadeesan, Radha and Gupta, Vineet},
TITLE = {Timed default concurrent constraint programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {475-520},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Caleiro-Saake-Sernadas/96,
AUTHOR = {Caleiro, C. and Saake, G. and Sernadas, A.},
TITLE = {Deriving liveness goals from temporal logic specifications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {521-553},
YEAR = {1996},
KEYWORDS = {1},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fruhwirth/96,
AUTHOR = {Fr{\"u}hwirth, Thom},
TITLE = {Temporal annotated constraint logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {555-583},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ahmed-Venkatesh/96,
AUTHOR = {Ahmed, Mohsin and Venkatesh, G.},
TITLE = {Dense time logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {585-613},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Engelfriet-Treur/96,
AUTHOR = {Engelfriet, Joeri and Treur, Jan},
TITLE = {Executable temporal logic for non-monotonic reasoning},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {615-625},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fisher/96a,
AUTHOR = {Fisher, Michael},
TITLE = {Temporal semantics for concurrent MetateM},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {627-648},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gagne-Plaice/96,
AUTHOR = {Gagn{\'{e}}, Jean-Raymond and Plaice, John},
TITLE = {A non-standard temporal deductive database system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {649-664},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mota-Robertson-Smaill/96,
AUTHOR = {Mota, Edjard and Robertson, David and Smaill, Alan},
TITLE = {NatureTime: Temporal granularity in simulation of ecosystems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {665-698},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Liu-Orgun/96,
AUTHOR = {Liu, Chuchang and Orgun, Mehmet A.},
TITLE = {Dealing with multiple granularity of time in temporal logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {699-720},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Orgun-Faustini/96,
AUTHOR = {Orgun, Mehmet A. and Faustini, Anthony A.},
TITLE = {The Chronolog familiy of languages},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {722-724},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schafer-Brzoska/96,
AUTHOR = {Sch{\"a}fer, Karl and Brzoska, Christoph},
TITLE = {``F-Limette'' fuzzy logic programming integrating metric temporal extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {725-727},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fisher-Kellett/96,
AUTHOR = {Fisher, Michael and Kellett, Adam},
TITLE = {The concurrent MetateM system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {728-729},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Moszkowski/96,
AUTHOR = {Moszkowski, Ben},
TITLE = {The programming language Tempura},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {730-733},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kono-Fujita/96,
AUTHOR = {Kono, Shinji and Fujita, M.},
TITLE = {The Tokio system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {734-735},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ho-Yap/96,
AUTHOR = {Ho, Chung-Jen and Yap, Chee Keng},
TITLE = {The Habicht approach to subresultants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {1},
PAGES = {1-14},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kennaway-Klop-Sleep-Vries/96,
AUTHOR = {Kennaway, Richard and Klop, Jan Willem and Sleep, Ronan and Vries, Fer-Jan de},
TITLE = {Comparing curried and uncurried rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {1},
PAGES = {15-39},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Padawitz/96,
AUTHOR = {Padawitz, Peter},
TITLE = {Inductive theorem proving for design specifications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {1},
PAGES = {41-99},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sofroniou/96,
AUTHOR = {Sofroniou, M.},
TITLE = {Order stars and linear stability theory},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {1},
PAGES = {101-131},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Casperon-Ford-McKay/96,
AUTHOR = {Casperon, David and Ford, David and McKay, John},
TITLE = {Ideal decompositions and subfields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {2},
PAGES = {133-137},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Miller/96a,
AUTHOR = {Miller, J. Lyn},
TITLE = {Analogs of Gr{\"o}bner bases in polynomial rings over a ring},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {2},
PAGES = {139-153},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pauer-Zampieri/96,
AUTHOR = {Pauer, Franz and Zampieri, Sandro},
TITLE = {Gr{\"o}bner bases with respect to generalized term orders and their application to the modelling problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {2},
PAGES = {155-168},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Helminck/96,
AUTHOR = {Helminck, A.G.},
TITLE = {Computing $B$-orbits on $G/H$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {2},
PAGES = {169-209},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Baader-Schulz/96,
AUTHOR = {Baader, Franz and Schulz, Klaus U.},
TITLE = {Unification in the union of disjoint equational theories: Combining decision procedures},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {2},
PAGES = {211-243},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sanchez/96,
AUTHOR = {Sanchez, Nestor E.},
TITLE = {The method of multiple scales: Asymptotic solutions and normal forms for nonlinear oscillatory problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {2},
PAGES = {245-252},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Marche/96,
AUTHOR = {March{\'{e}}, Claude},
TITLE = {Normalized rewriting: An alternative to rewriting modulo a set of equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {253-288},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Intrigila-Venturini_Zilli/96,
AUTHOR = {Intrigila, Benedetto and Venturini Zilli, Marisa},
TITLE = {A remark on infinite matching vs infinite unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {289-292},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Attardi-Flagella/96,
AUTHOR = {Attardi, Giuseppe and Flagella, Tito},
TITLE = {Memory management in the PoSSo solver},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {293-311},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Collins-Encarnacion/96,
AUTHOR = {Collins, George E. and Encarnaci{\'{o}}n, Mark J.},
TITLE = {Improved techniques for factoring univariate polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {313-327},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fix-Hsu-Luo/96,
AUTHOR = {Fix, George and Hsu, Chih-Ping and Luo, Tie},
TITLE = {Implicitization of rational parametric surfaces},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {329-336},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gerdt-Kornyak/96,
AUTHOR = {Gerdt, Vladimir P. and Kornyak, Vladimir V.},
TITLE = {Construction of finitely presented Lie algebras and superalgebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {337-349},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kemper/96,
AUTHOR = {Kemper, Gregor},
TITLE = {Calculating invariant rings of finite groups over arbitrary fields},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {351-366},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Smart/96,
AUTHOR = {Smart, Nigel},
TITLE = {Solving discriminant form equations via unit equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {3},
PAGES = {367-374},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Murao-Fujise/96,
AUTHOR = {Murao, Hirokazu and Fujise, Tetsuro},
TITLE = {Modular algorithm for sparse multivariate polynomial interpolation and its parallel implementation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {377-396},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wang/96e,
AUTHOR = {Wang, Paul S.},
TITLE = {Parallel polynomial operations on SMPs: An overview},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {397-410},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Attardi-Traverso/96,
AUTHOR = {Attardi, Giuseppe and Traverso, Carlo},
TITLE = {Strategy-accurate parallel Buchberger algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {411-425},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dalmas-Gaetano-Sausse/96,
AUTHOR = {Dalmas, Stephane and Gaetano, Marc and Sausse, Alain},
TITLE = {A distributed and cooperative environment for computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {427-439},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Krandick-Jebelean/96,
AUTHOR = {Krandick, Werner and Jebelean, Tudor},
TITLE = {Bidirectional exact integer division},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {441-455},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Weber/96,
AUTHOR = {Weber, Kenneth},
TITLE = {Parallel implementation of the accelerated integer GCD algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {457-466},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cesari-Maeder/96,
AUTHOR = {Cesari, Giovanni and Maeder, Roman},
TITLE = {Performance analysis of the parallel Karatsuba multiplication algorithm for distributed memory architectures},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {467-473},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bundgen-Gobel-Kuchlein/96,
AUTHOR = {B{\"u}ndgen, Reinhard and G{\"o}bel, Manfred and K{\"u}chlein, Wolfgang},
TITLE = {Strategy compliant multi-threaded term completion},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {475-505},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bonacina/96,
AUTHOR = {Bonacina, Maria Paola},
TITLE = {On the reconstruction of proofs in distributed theorem proving: A modified clause-diffusion method},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {507-522},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Denzinger-Schulz/96,
AUTHOR = {Denzinger, J{\"o}rg and Schulz, Stephan},
TITLE = {Recording and analysing knowledge-based distributed deduction processes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {523-541},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zhang-Bonacina-Hsiang/96,
AUTHOR = {Zhang, Hantao and Bonacina, Maria Paola and Hsiang, Jieh},
TITLE = {PSATO: A distributed propositional prover and its application to quasigroup problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {543-560},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Hill-Clarke-Bornat/96,
AUTHOR = {Hill, Jonathan M.D. and Clarke, Keith M. and Bornat, Richard},
TITLE = {Parallelizing imperative functional programs : The vectorization monad},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {561-576},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gladitz-Kuchen/96,
AUTHOR = {Gladitz, Katia and Kuchen, Herbert},
TITLE = {Shared memory implementation of the Gamma-operation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {577-591},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schreiner/96,
AUTHOR = {Schreiner, Wolfgang},
TITLE = {A para-functional programming interface for a parallel computer algebra package},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {593-614},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sodan/96,
AUTHOR = {Sodan, Angela},
TITLE = {A semi-automatic multiple-strategy approach to mapping tree-structured symbolic processing programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {615-634},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Andreoli-Borghoff-Pareschi/96,
AUTHOR = {Andreoli, Jean-Marc and Borghoff, Uwe M. and Pareschi, Remo},
TITLE = {The constraint-based knowledge broker model: Semantics, implemantation and analysis},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {635-667},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{de_Bosschere-Jacquet/96,
AUTHOR = {de Bosschere, Koen and Jacquet, Jean-Marie},
TITLE = {Extending the $\mu$Log framework with local and conditional blackboard operations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {669-697},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Leung-Clark/96,
AUTHOR = {Leung, Ho-Fung and Clark, Keith L.},
TITLE = {Constraint satisfaction in distributed concurrent logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {699-714},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lopez-Hermenegildo-Debray/96,
AUTHOR = {Lopez, P. and Hermenegildo, M. and Debray, S.},
TITLE = {A methodology for granularity-based control of parallelism in logic programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {21},
NUMBER = {4},
PAGES = {715-734},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}