The computation and application of vector congruence classes. - Zavdi L. Lichtman (SYMSACC, 1976)

Interpretation Control Using A Linear Tree Representation. - Zavdi L. Lichtman (Softw. Pract. Exp., 1977)

Sometimes an FEXPR is better than a macro. - Zavdi L. Lichtman (SIGART Newsl., 1986)

The Function of T and NIL in LISP. - Zavdi L. Lichtman (Softw. Pract. Exp., 1986)

Generation and Consistency Checking of Design and Program Structures. - Zavdi L. Lichtman (IEEE Trans. Software Eng., 1986)

A family of cuts for production systems. - Zavdi L. Lichtman; Daniel L. Chester (TAI, 1989)