meyer1.ps meyer2.ps meyer2.pdf Chen.pdf avron.ps avron.pdf cholvy.ps cholvy.pdf easterbrook.pdf johnson.ps johnson.pdf newGabbay2.ps prade.ps renata.ps sawamura.ps schwind.ps