@article{DBLP:journals/ndjfl/Humberstone00,
author = {Lloyd Humberstone},
title = {An Intriguing Logic with Two Implicational Connectives},
journal = {Notre Dame Journal of Formal Logic},
volume = {41},
number = {1},
year = {2000},
pages = {1-40},
ee = {http://projecteuclid.org/euclid.ndjfl/1027953481},
bibsource = {DBLP, http://dblp.uni-trier.de}
}