Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols. - Erik Tidén (CADE, 1986)

Unification Problems with One-Sided Distributivity. - Erik Tidén; Stefan Arnborg (J. Symb. Comput., 1987)

Symbolic Constraint Handling Through Unification in Finite Algebras. - Wolfram Büttner; Klaus Estenfeld; Richard Schmid; Hans-Albert Schneider; Erik Tidén (Appl. Algebra Eng. Commun. Comput., 1990)

Experiences from a Large Industrial Circuit Design Application. - Thomas Filkorn; Richard Schmid; Erik Tidén; Peter Warkentin (ISLP, 1991)

Computer Aided Verification of Parallel Processes. - Klaus Estenfeld; Hans-Albert Schneider; Dirk Taubner; Erik Tidén (VIS, 1991)