Reverse Engineering Small 4-Manifolds | AMiner