[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/docs/papers/isabelle-1986-transfer-mt-modularity/cited-by/)

This page now lives at [/free/en/docs/papers/cited-by/isabelle-1986-transfer-mt-modularity/](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/isabelle-1986-transfer-mt-modularity/).