1. An abstract prolog instruction set;Warren,1983
2. Study of implementation techniques for Prolog based on the Warren abstract machine;Chenxi,1987
3. Z. Chenxi and C. Yungui, A model for maintaining compiled Prolog databases, Proc. IFIP Working Conf. AI, Data Bases and Information Systems.
4. Study of mechanisms that support the implementation of nonlogical components of Prolog in WAM-based systems;Chenxi;Future Generations Computer Systems,1988
5. Z. Chenxi and C. Yungui, Management of statistically modifiable prolog code, to appear in Chinese J. Computer Sci.