A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning - Hanschke, Philipp (1993)
Kaiserslautern, Univ., Diss., 1993