Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, and Markus Krötzsch. Deciding Hyperproperties Combined with Functional Specifications. Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13, Association for Computing Machinery, New York, NY, USA, Aug 4, 2022. [PUMA: imported xack] URL