CAVEAT: Technique and Tool for Computer Aided VErification And Transformation. - E. Pascal Gribomont; Didier Rossetto (CAV, 1995)

Algorithms for Relevant Logic. - Paul Gochet; E. Pascal Gribomont; Didier Rossetto (Logic, Thought and Action, 2005)