Yde Venema Completeness through Flatness in Two-Dimensional Temporal Logic. 149-164 1994 conf/ictl/1994 ICTL db/conf/ictl/ictl1994.html#Venema94