A declarative integration of terminological, constraint based, data driven, and goal directed reasoning - Hanschke, Philipp (Infix, 1996)
Zugl.: Karlsruhe, Univ., Diss., 1993