Automatisches Theorembeweisen mit Konfigurationen. - Hellfried Böttger (J. Inf. Process. Cybern., 1985)

Parallelen zwischen den Komponenten des natürlichsprachlichen Interfaces NLI-AIDOS und den zugrundeliegenden Informationsrecherchesystem. - Hellfried Böttger; Hermann Helbig; Frank Ficker; Frank Zänker (Wissensbasierte Systeme, 1991)