@misc{indiciaea8ef2757a822,
  title = {Logic Programming with Extensible Types},
  author = {Ivan Perez and Angel Herranz},
  year = {2024},
  url = {https://ntrs.nasa.gov/citations/20240010266},
  note = {Source identifier: 20240010266}
}