@article{Buchberger/87,
AUTHOR = {Buchberger, Bruno},
TITLE = {History and basic features of the critical-pair/completion procedure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {3-38},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Book/87,
AUTHOR = {Book, Ronald V.},
TITLE = {Thue systems as rewriting systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {39-68},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Dershowitz/87,
AUTHOR = {Dershowitz, Nachum},
TITLE = {Termination of rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {69-115},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Rusinowitch/87,
AUTHOR = {Rusinowitch, Michael},
TITLE = {Path of subterms ordering and recursive decomposition ordering revisited},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {117-131},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Hsiang/87,
AUTHOR = {Hsiang, Jieh},
TITLE = {Rewrite method for theorem proving in first order theory with equality},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {133-151},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Yelick/87,
AUTHOR = {Yelick, Katherine A.},
TITLE = {Unification in combinations of collapse-free regular theories},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {153-181},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Tiden-Arnborg/87,
AUTHOR = {Tiden, Erik and Arnborg, Stefan},
TITLE = {Unification problems with one-sided distributivity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {183-202},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Benanav-Kapur-Narendran/87,
AUTHOR = {Benanav, Dan and Kapur, Deepak and Narendran, Paliath},
TITLE = {Complexity of matching problems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {1-2},
PAGES = {203-216},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Fortenbacher/87,
AUTHOR = {Fortenbacher, Albrecht},
TITLE = {An algebraic approach to unification under associativity and commutativity},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {217-229},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Sims/87,
AUTHOR = {Sims, Charles C.},
TITLE = {Verifying nilpotence},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {231-247},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Aurenhammer/87,
AUTHOR = {Aurenhammer, F.},
TITLE = {Recognising polytopical cell complexes and constructing projection polyhedra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {249-255},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Fages/87,
AUTHOR = {Fages, Fran{\c{c}}ois},
TITLE = {Associative-commutative unification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {257-275},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Ogilvie-Tipping/87,
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 = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {277-281},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Beyer-Heller/87,
AUTHOR = {Beyer, W.A. and Heller, L.},
TITLE = {A Steiner tree associated with three quarks},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {283-289},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Mills/87,
AUTHOR = {Mills, R.D.},
TITLE = {Using a small algebraic manipulation system to solve differential and integral equations by variational and approximation techniques},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {291-301},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}
@article{Semjonov-Melnikov-Evstigneev/87,
AUTHOR = {Semjonov, A.L. and Mel'nikov, L.S. and Evstigneev, V.A.},
TITLE = {Solving the problems of kinetics of complex reactions by symbolic algebraic manipulation methods},
JOURNAL = {J. Symbolic Computation},
VOLUME = {3},
NUMBER = {3},
PAGES = {303-307},
YEAR = {1987},
PUBLISHER = {Academic Press},
ADDRESS = {London-Orlando-San Diego-New York-Austin-Boston-Sydney-Tokyo-Toronto},
}