Nesting Patterns in Fibred Logics of Context.

Rolf Nossum Nesting Patterns in Fibred Logics of Context. 441-452 2005 conf/birthday/2005gabbay2 We Will Show Them! (2) db/conf/birthday/Gabbay2.html#Nossum05