Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. - Alexander Bockmayr; Christoph Brzoska (Künstliche Intell., 1989)

Temporal Logic Programming and its Relation to Constraint Logic Programming. - Christoph Brzoska (ISLP, 1991)

KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. - Alexander Bockmayr; Christoph Brzoska; Peter Deussen; Igor Varsek (Inform. Forsch. Entwickl., 1991)

Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen. - Christoph Brzoska; Michael Gollner (Künstliche Intell., 1992)

Temporal-logisches Programmieren. - Christoph Brzoska (1993)

Temporal Logic Programming with Bounded Universal Modality Goals. - Christoph Brzoska (ICLP, 1993)

Temporal Logic Programming with Metric and Past Operators. - Christoph Brzoska (Executable Modal and Temporal Logics, 1993)

Temporal Logic Programming Applied to Image Sequence Evaluation. - Christoph Brzoska; Karl Schäfer (Logic Programming: Formal Methods and Practical Applications, 1995)

Temporal Logic Programming in Dense Time. - Christoph Brzoska (ILPS, 1995)

Dependency Unification Grammar for PROLOG. - Friedrich Steimann; Christoph Brzoska (Comput. Linguistics, 1995)

Temporales logisches Programmieren. - Christoph Brzoska (Inform. Forsch. Entwickl., 1996)

Programming in Metric Temporal Logic. - Christoph Brzoska (Theor. Comput. Sci., 1998)