Walter Alexandre Carnielli Paulo A. S. Veloso Ultrafilter Logic and Generic Reasoning. 34-53 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#CarnielliV97