|
||
---|---|---|
hal-02958328v1
Conference papers
Eliminating Cuts in hoI(C ) - Extended Abstract TEASE-LP: Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Paris, France |
||
hal-01433373v1
Journal articles
Constraint logic programming with a relational machine Formal Aspects of Computing, Springer Verlag, 2016, 29 (Issue 1), pp.97-124. ⟨10.1007/s00165-016-0369-z⟩ |
||
|