An Algebraic Framework for Abstract Interpretation of Definite Programs. - R. S. Kemp; Graem A. Ringwood (NACLP, 1990)

Reynold and Heyling Models of Logic Programs. - R. S. Kemp; Graem A. Ringwood (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

The power to borrow and lend: investigating the cultural context as part of the lending decision. - Martha L. Maznevski; R. S. Kemp; George A. Overstreet Jr.; Jonathan N. Crook (J. Oper. Res. Soc., 2001)