Enrico Minelli Heracles M. Polemarchakis Knowledge at Equilibrium. 211-228 1996 conf/tark/1996 TARK db/conf/tark/tark1996.html#MinelliP96