Reference:

Stefan Haar, Christian Kern, and Stefan Schwoon. Computing the reveals relation in occurrence nets. In GandALF, pages 31–44, 2011.

Suggested BibTeX entry:

@inproceedings{DBLP:journalscorrabs-1106-1230,
    author = {Stefan Haar and Christian Kern and Stefan Schwoon},
    booktitle = {GandALF},
    pages = {31-44},
    title = {Computing the Reveals Relation in Occurrence Nets},
    year = {2011}
}