Inverse relations

[ .. ] → kbdef:hasDerivative → Abstract graph transformation : theory and practice / Eduardo Zambon