642 followers Helio Rocha @helioRocha_ #arXiv #cs_LO "Q-Resolution with Generalized Axioms. (arXiv:1604.05994v1 [cs.LO])" https://t.co/j44hsjdGFv 21 Apr 2016 Reply Repost Favourite