Paul C. Gilmore NaDSyL and some Applications. 153-166 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#Gilmore97