@misc{indiciae7ae9ba88bb52,
  title = {A Unifying Approach to Product Constructions for Quantitative Temporal Inference},
  author = {Kazuki Watanabe and Sebastian Junges and Jurriaan Rot and Ichiro Hasuo},
  year = {2025},
  url = {https://arxiv.org/abs/2407.10465},
  note = {Source identifier: 2407.10465}
}