@workingPaper{Drollinger_1993, title={Intelligentes Backtracking in Inferenzsystemen am Beispiel terminologischer Logiken}, author={Drollinger, Dennis}, doi={http://dx.doi.org/10.22028/D291-25391}, year={1993} }