Hybrid logics (2006)

by C Areces, Ten Cate, B
Venue:In