Deepak Kapur Preface. 185-186 2004 32 J. Autom. Reasoning 3 http://dx.doi.org/10.1023/B:JARS.0000044948.61098.6c db/journals/jar/jar32.html#Kapur04a