Automated reasoning in nonclassical logics with the polarized inverse method

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=gx1wwf5l1Ck




#############################