Handling database updates in two-dimensional temporal logic - Finger, Marcelo (Journal of Applied Non-Classical Logics, 1992)