Roger Villemaire, Sylvain Hallé. Reasoning about visibility. J. Applied Logic, 10(2):163-178, 2012. [doi]
@article{VillemaireH12,
title = {Reasoning about visibility},
author = {Roger Villemaire and Sylvain Hallé},
year = {2012},
doi = {10.1016/j.jal.2012.02.001},
url = {http://dx.doi.org/10.1016/j.jal.2012.02.001},
researchr = {https://researchr.org/publication/VillemaireH12},
cites = {0},
citedby = {0},
journal = {J. Applied Logic},
volume = {10},
number = {2},
pages = {163-178},
}