Predicate-formation for synthesizing LISP code. - Manoj K. Kamani; R. S. Ramakrishna (IEEE Trans. Syst. Man Cybern., 1990)