How to Eliminate Quantifiers in the Elementary Theory of p-Rings. - Burkhard Molzan (Math. Log. Q., 1982)

The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier. - Burkhard Molzan (Math. Log. Q., 1982)

Recursive VLSI design theory and application. - Lothar Budach; Ernst-Günter Giessmann; Hubert Grassmann; Bernd Graw; Christoph Meinel; Burkhard Molzan; Uwe Schäfer; Peter Zienicke (Bull. EATCS, 1989)

RELACS - a Recursive Layout Computing System. - Lothar Budach; Ernst-Günter Giessmann; Hubert Grassmann; Bernd Graw; Christoph Meinel; Burkhard Molzan; Uwe Schäfer; Steffen Zahn; Peter Zienicke (J. Inf. Process. Cybern., 1990)

Expressibility and Nonuniform Complexity Classes. - Burkhard Molzan (SIAM J. Comput., 1990)