@inproceedings{vanGlabbeek_17_2,
    address          = {Reykjavik, Iceland},
    author           = {van Glabbeek, Robert},
    booktitle        = {Annual IEEE Symposium on Logic in Computer Science},
    date             = {2017-8-18},
    doi              = {https://doi.org/10.1109/LICS.2017.8005142},
    keywords         = {Structural Operational Semantics Congruence formats Recursion Bisimulation},
    month            = aug,
    numpages         = {11 p.},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_17_2.pdf},
    publisher        = {ACM/IEEE},
    title            = {Lean and Full Congruence Formats for Recursion},
    year             = {2017}
  }