Verifying formulas for interventional distributions | Digital Library | PAMCET | PAMCET