BibTex format
@inproceedings{Phillips:2011:10.4204/EPTCS.64.8,
author = {Phillips, ICC and Ulidowski, I},
doi = {10.4204/EPTCS.64.8},
pages = {104--118},
title = {A Logic with Reverse Modalities for History-preserving Bisimulations},
url = {http://dx.doi.org/10.4204/EPTCS.64.8},
year = {2011}
}