Conference articles
- Igor Stéphan. First-order ASP programs as CHR programs. In SAC '21: Proc. 36th ACM Symp. Applied Computing, pages 881-888, 2021.
- Vincent Barichard and Igor Stéphan. Quantified Constraint Handling Rules. In Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), 2019.
- Igor Stéphan. A New Proof-Theoretical Linear Semantics for CHR. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), 2018.
BACK TO INDEX