Amy P. Felty Preface. 189-190 2003 31 J. Autom. Reasoning 3-4 http://dx.doi.org/10.1023/B:JARS.0000021173.25739.c5 db/journals/jar/jar31.html#Felty03