Strong Call-by-Value is Reasonable, Implosively | IEEE Conference Publication | IEEE Xplore