Strukturelle Untersuchungen zur schwersten kontextfreien Sprache. - Klaus Estenfeld (Theoretical Computer Science, 1977)

Ueber den Zusammenhang von Pushdowntransduktionen von Baeumen und Funktorpaaren. - Klaus Estenfeld (1980)

A New Characterization Theorem of Tree-Transductions. - Klaus Estenfeld (J. Inf. Process. Cybern., 1982)

Prolog-Implementierung: Konzepte und Realisierungen. - Klaus Estenfeld (Inform. Spektrum, 1987)

Literatur zum Thema "Programmiersprachen". - Klaus Estenfeld (it Inf. Technol., 1987)

Ein Konstanzer Prolog-Workshop. - Alexander Bockmayr; Klaus Estenfeld; Ulrich Furbach; Claus Jäkel (Künstliche Intell., 1989)

6th International Conference on Logic Programming. - Klaus Estenfeld (Künstliche Intell., 1989)

Bericht zur LP '88 - Fifth International Conference on Logic Programming. - Klaus Estenfeld (Künstliche Intell., 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)

Directions in AI Research and Applications at Siemens Corporate Research and Development. - Wolfram Büttner; Klaus Estenfeld; Hans Haugeneder; Peter Struss (AI Mag., 1990)

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