Quantifier responsiveness. - Lawrence Powers (Notre Dame J. Formal Log., 1987)

Implementing the 'Fool's Model' of Combinatory Logic. - Robert K. Meyer; Martin W. Bunder; Lawrence Powers (J. Autom. Reason., 1991)