140 followers
On unification of QBF resolution-based calculi: Beyersdorff, O, Chew, L and Janota, M (2014) On unifica... http://t.co/oDCIZ3sZAD #wrro
On unification of QBF resolution-based calculi: Beyersdorff, O, Chew, L and Janota, M (2014) On unifica... http://t.co/oDCIZ3sZAD #wrro