The shortest single axioms for groups of exponent 4

McCune, 1990, OTTER 2.0 Users Guide McCune, 1991, What's New in OTTER 2.2 Neumann, 1981, Another single law for groups, Bull. Australian Math. Soc., 23, 81, 10.1017/S0004972700006912 Meredith, 1968, Equational logic, Notre Dame J. Formal Logic, 9, 212, 10.1305/ndjfl/1093893457 McCune, 1992, Applications of automated deduction to the search for single axioms for exponent groups, 131 McCune, 1993, Single axioms for groups and Abelian groups with various operations, J. Automated Reasoning, 10, 1, 10.1007/BF00881862 Kunen, 1992, Single axioms for groups, J. Automated Reasoning, 9, 291, 10.1007/BF00245293 Knuth, 1970, Simple word problems in universal algebras, 263 Brualdi, 1977