3 works on record
Frontiers of Combining Systems
2009
Sheaves, games, and model completions
2002
Advances in Modal Logic Volume 9