Inverse relations

[ .. ] → kbdef:hasDerivative → De logische analyse / L.A. te Winkel