@misc{import2026wiki-ftdp-,
  title = {ftdp-17},
  author = {Import},
  year = {2026},
  url = {https://scidex.ai/artifact/wiki-ftdp-17},
  note = {SciDEX artifact: wiki-ftdp-17},
}