Christophe Ringeissen
Handling Relations over Finite Domains in the Rule-Based System ELAN
WRLA, 2000.
@article{WRLA-2000-Ringeissen, author = "Christophe Ringeissen", doi = "10.1016/S1571-0661(05)80144-6", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "194--211", title = "{Handling Relations over Finite Domains in the Rule-Based System ELAN}", volume = 36, year = 2000, }