Admissible Representations of Effective CPO's. - Klaus Weihrauch; Gisela Schäfer (Theor. Comput. Sci., 1983)

Über Eingabeabhängigkeit und Komplexität von Inferenzstrategien. - Gisela Schäfer-Richter (1984)

Some results in the theory of effective program synthesis: learning by defective information. - Gisela Schäfer (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions. - Gisela Schäfer (Math. Log. Q., 1985)

A Time Logic for Hierarchical Modelling of Dynamic Systems. - Gisela Schäfer-Richter (J. Inf. Process. Cybern., 1989)

SIDIA: Extending Prediction Based Diagnosis to Dynamic Models. - Thomas Guckenbiehl; Gisela Schäfer-Richter (Expert Systems in Engineering, 1990)

Bericht vom 3. Workshop "Qualitatives Schließen". - Gisela Schäfer-Richter (Künstliche Intell., 1990)