The journal of humanitarian demining [electronic resource]