Interactive Deductive Data Management - the Smart Data Interaction Package. - Edoardo S. Biagioni; Klaus H. Hinrichs; Carlo Muller; Jürg Nievergelt (Wissensbasierte Systeme, 1985)

A Portable Operating System Interface and Utility Library. - Edoardo S. Biagioni; Klaus H. Hinrichs; Gernot Heiser; Carlo Muller (IEEE Softw., 1986)

Modula-Prolog: A Software Development. - Carlo Muller (IEEE Softw., 1986)

"Visual Prolog", an object oriented platform for interactive modeling and problem solving. - Carlo Muller (Verlag der Fachvereine, 1991)