Gwangyong Gim Thomas Whalen Logical Second Order Models: Achieving Synergy Between Computer Power and Human Reason. 81-104 1999 114 Inf. Sci. 1-4 db/journals/isci/isci114.html#GimW99