Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains.

Jean-Louis Giavitto, Olivier Michel

Browse the full PPDP paper archive.