doi:10.1016/0304-3800(86)90042-6