1. Control of systems integrating logic, dynamics, and constraints;Bemporad;Automatica,1999
2. Embedding Boolean expressions into logic programming;Buttner;J. Symbolic Comput.,1987
3. Chiu, Y.C., Jou, L.J., Chen, S., 1999. Development on an acclimatization chamber for grafted seedlings. ASAE Paper No. 99-5014, ASAE, St. Joseph, MI.
4. The study of acclimatization environmental condition on grafted seedlings of ‘Empire No.2’ watermelon;Chang;J. Chin. Soc. Hort. Sci.,2003
5. The logic of Boolean Matrices;Edwards;J. Comput.,1972