Vol-1718⫷ Vol-1719 ⫸Vol-1720
urn:nbn:de:0074-1719-0


Vol-1719/paper2⫷Vol-1719/paper3⫸Vol-1719/paper4

Dependency Schemes in QBF Calculi: Semantics and Soundness