暂无分享,去创建一个
[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[2] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[3] Hassan Aït-Kaci. Warren's Abstract Machine , 1991, ICLP.
[4] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.
[5] Franz Baader,et al. Unification theory , 1986, Decis. Support Syst..
[6] Hassan Aït-Kaci,et al. Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .