Richard Zuber Symmetric and contrapositional quantifiers. 1-13 2007 16 Journal of Logic, Language and Information 1 http://dx.doi.org/10.1007/s10849-006-9019-9 db/journals/jolli/jolli16.html#Zuber07