Modular semantics and logics of classes (2003)

by Bernhard Reus
Venue:Computer Science Logic (CSL), volume 2803 of LNCS