1. Logic programming;Apt,1990
2. J.F. Baldwin, T.P. Martin, Fast Operations on Fuzzy Sets in The Abstract FRIL Machine, Proc. IEEE Internat. Conf. on Fuzzy Systems 1992, 1992, pp. 803–810.
3. Fril – Fuzzy and Evidential Reasoning in Artificial Intelligence;Baldwin,1995
4. Fuzzy Logic;Baldwin,1996
5. R.S. Boyer, J.S. Moore, The sharing of structure in theorem proving programs, in: B. Meltzer, D. Midie (Eds.), Machine Intelligence, vol. 7, Edinburgh University Press, Edinburgh.