Unification in Primal Algebras, Their Powers and Their Varieties
The Representation of Multistage Interconnection Networks in Queuing Models of Parallel Systems
Decision Tree Reduction
Convex Separable Optimization Is Not Much Harder than Linear Optimization
Early Stopping in Byzantine Agreement
A Correction of the Termination Conditions of the Henschen-Naqvi Technique
Higher-Order Horn Clauses
Patricia Tries Again Revisited