The Implementation of the Hammurabi System: Indexing and Interprocess Communication. - Henri Lesourd (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. - Christoph Benzmüller; Helmut Horacek; Ivana Kruijff-Korbayová; Henri Lesourd; Marvin R. G. Schiller; Magdalena Wolska (KI, 2006)

A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. - Christoph Benzmüller; Helmut Horacek; Henri Lesourd; Ivana Kruijff-Korbayová; Marvin R. G. Schiller; Magdalena Wolska (LREC, 2006)