Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
https://www.ijcai.org/Proceedings/93-1/Papers/017.pdf (出版社版)
Basin, D., & Walsh, T. (1993). Difference Unification. In R., Bajcsy (Ed.), Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence; Chambéry, France, August 28 - September 3, 1993 (pp. 116-122). San Mateo, CA: Morgan Kaufmann.