Tableaux for Synchronous Systems of Knowledge and Time with Interactions.

Clare Dixon Michael Fisher Tableaux for Synchronous Systems of Knowledge and Time with Interactions. 28-39 1997 SCAI db/conf/scai/scai1997.html#DixonF97