Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Abrams, Charlene Bloch and Frisch, Alan M. 1991. “An Examination of the Efficiency of Sorted Deduction.”Unpublished manuscript, Department of Computer Science, University of Illinois.