Inverse relations

[ .. ] → kbdef:hasDerivative → Technical report / Nijmegen Institute for Computing and Information Sciences