Vol-588⫷ Vol-589 ⫸Vol-590
urn:nbn:de:0074-589-0


None⫷None
Armando TacchellaLuca Pulina

A structural approach to reasoning with quantified Boolean formulas