Recursive Aggregates as Intensional Functions

Published: 2023, Last Modified: 25 Jul 2025ICLP Workshops 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading