参考文献

1

Borning, A., B. Freeman-Benson, and M. Wilson, ``Constraint Hierarchies,'' Lisp and Symbolic Computation, vol. 5, no. 3, Sept. 1992, pp. 223--270.

2

Freeman-Benson, B. N., J. Maloney, and A. Borning, ``An Incremental Constraint Solver,'' Communications of the ACM, vol. 33, no. 1, Jan. 1990, pp. 54--63.

3

Hosobe, H., Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems. PhD thesis, Department of Information Science, University of Tokyo, Dec. 1997.

4

Maloney, J. H., A. Borning, and B. N. Freeman-Benson, ``Constraint Technology for User-Interface Construction in ThingLab II,'' in Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Oct. 1989, pp. 381--388.

5

Sannella, M., ``SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction,'' in Proceedings of the ACM Symposium on User Interface Software and Technology (UIST), Nov. 1994, pp. 137--146.