Extended Kamp Notation: a graphical notation for situation theory (1993)

by J Barwise, R Cooper
Venue:Center