- Charles C. Sims:
The Knuth-Bendix Procedure for Strings as a Substitute for Coset Enumeration. J. Symb. Comput. 12(4/5): 439-442 (1991) - Yukihide Takayama:
Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs. J. Symb. Comput. 12(1): 29-70 (1991) - Dongming Wang:
Mechanical Manipulation for a Class of Differential Systems. J. Symb. Comput. 12(2): 233-254 (1991) - Kurt Bernardo Wolf, G. Krötzsch:
Group-Classified Polynomials of Phase Space in Higher-Order Aberration Expansions. J. Symb. Comput. 12(6): 673-694 (1991) - R. J. Yamartino, Richard Pavelle:
An Application of Computer Algebra to a Problem in Stratified Fluid Flow. J. Symb. Comput. 12(6): 669-672 (1991) - Chee-Keng Yap:
A New Lower Bound Construction for Commutative Thue Systems with aApplications. J. Symb. Comput. 12(1): 1-28 (1991)