TY  - RPRT
TI  - Logic Programming with Extensible Types
AU  - Ivan Perez
AU  - Angel Herranz
PY  - 2024
UR  - https://ntrs.nasa.gov/citations/20240010266
ID  - 20240010266
ER  -