Simon Guilloud, Sankalp Ghambhir, and Viktor Kunčak. Interpolation and quantifiers in ortholattices. In
Verification, Model Checking, and Abstract Interpretation (VMCAI)
. Springer International Publishing, 2024.
[
bib
]
Back