Wojciech Penczek, Stanislaw Ambroszkiewicz. Model checking of causal knowledge formulas. Electronic Notes in Theoretical Computer Science, 28:40-58, 1999. [doi]
@article{PenczekA99, title = {Model checking of causal knowledge formulas}, author = {Wojciech Penczek and Stanislaw Ambroszkiewicz}, year = {1999}, url = {http://www.elsevier.com/gej-ng/31/29/23/53/23/show/Products/notes/index.htt#006}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/PenczekA99}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {28}, pages = {40-58}, }