Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Lassez, J.-L., Maher, Michael J. and Marriott, K. 1988. “Unification Revisited.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 587–625. San Francisco, California: Morgan Kaufmann Publishers.