Henkin quantifiers and Boolean formulae: A certification perspective of DQBF release_hrlmvb6dbva4fnst2btpt4hsyu

by Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang

References

This release citing other releases