An Algebra of Properties. - Trudy Weibel; Gaston H. Gonnet (ISSAC, 1991)

An Assume Facility for CAS, with a Sample Implementation for Maple. - Trudy Weibel; Gaston H. Gonnet (DISCO, 1992)

Extension of Combinatory Logic to a Theory of Combinatory Representation. - Trudy Weibel (Theor. Comput. Sci., 1992)

An Order-Sorted Resolution in Theory and Practice. - Trudy Weibel (Theor. Comput. Sci., 1997)