Inverse relations

[ .. ] → kbdef:hasDerivative → Computing wald criteria for nested hypotheses / D.A. Kodde and F.C. Palm