ASSIP-T: A Theorem-Proving Machine. - Werner Dilger; Hans-Albert Schneider (IJCAI, 1985)

An Improvement of Deduction Plans: Refutation Plans. - Hans-Albert Schneider (CADE, 1986)

Information Processing with Associative Processors. - Hans-Albert Schneider; Werner Dilger (CONPAR, 1986)

Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. - Richard Schmid; Hans-Albert Schneider; Thomas Filkorn (J. Autom. Reason., 1989)

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)

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