An implementation of higher order logic (1991)

by Konrad Slind