Unification for Subformula Linking under Quantifiers
Crossref DOI link: https://doi.org/10.1145/3636501.3636950
Published Online: 2024-01-09
Published Print: 2024-01-09
Update policy: https://doi.org/10.1145/crossmark-policy
Mulder, Ike
Krebbers, Robbert
Publication History
Published: 2024-01-09
