Conference articles
- François Fages, Cleyton Mário de Oliveira Rodrigues, and Thierry Martinez. Modular CHR with phask and phtell. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 95-110, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, CHR 2008, CHR 2008.
Miscellaneous
- Cleyton Mário de Oliveira Rodrigues. Components and Theorem Proving with Constraint Handling Rules. Master's thesis, Federal University of Pernambuco, Recife, Brazil, 2009.
BACK TO INDEX