On a decision procedure for quantified l
β
K. Subramani
π
Article
π
2007
π
Springer Netherlands
π
English
β 467 KB