With Michal Wrona. Published in the Proceedings of Computer Science Logic (CSL'12), pages 122-136.
A postprint of the conference version: pdf
Erratum: pdf