Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation