Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Bry, F. and Torge, S. 1996. “Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.” in TABLEAUX 96, pp. 143–159. Berlin: Springer Verlag.