How to reduce backtracking in propositional intuitionistic logic

MLA

Fiorino, G., and Guido Giuseppe Fiorino. How to Reduce Backtracking in Propositional Intuitionistic Logic. 2013. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1311389385&authtype=sso&custid=ns315887.

APA

Fiorino, G., & Fiorino, G. G. (2013). How to reduce backtracking in propositional intuitionistic logic.

Chicago

Fiorino, G, and Guido Giuseppe Fiorino. 2013. “How to Reduce Backtracking in Propositional Intuitionistic Logic.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1311389385&authtype=sso&custid=ns315887.