Rule Proceedings
- RULE 2008, Elsevier ENTCS
- RULE 2007, Elsevier ENTCS
- RULE 2006, Elsevier ENTCS Volume 174, Number 1
- RULE 2005, Elsevier ENTCS Volume 147, Number 1
- RULE 2004, Elsevier ENTCS Volume 124, Number 1
- RULE 2003, Technical Report DSIC-II/11/03
- RULE 2002, ACM SIGPLAN