On the Expressive Power of IF-Logic with Classical Negation.

Santiago Figueira, Daniel Gorn, Rafael Grimson

Browse the full WoLLIC paper archive.