Deduction on XML Documents: A Case Study. - Bernd D. Heumesser; Ralf-Dieter Schimkat (INAP, 2001)

An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge. - Bernd D. Heumesser; Dietmar Seipel; Ralf-Dieter Schimkat; Ulrich Güntzer (Electronic Information and Communication in Mathematics, 2002)

Analyzing and Visualising Prolog programs based on XML representations. - Dietmar Seipel; Marbod Hopfner; Bernd D. Heumesser (WLPE, 2003)

An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. - Bernd D. Heumesser; Dietmar Seipel; Ulrich Güntzer (MKM, 2003)

Web Services Based on Prolog and Xml. - Bernd D. Heumesser; Andreas Ludwig; Dietmar Seipel (INAP/WLP, 2004)