A Free Variable Sequent Calculus with Uniform Variable Splitting. - Arild Waaler; Roger Antonsen (TABLEAUX, 2003)

Uniform variable splitting. - Roger Antonsen (IJCAR Doctoral Programme, 2004)

Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. - Roger Antonsen; Arild Waaler (TABLEAUX, 2005)

A Labelled System for IPL with Variable Splitting. - Roger Antonsen; Arild Waaler (CADE, 2007)

Liberalized Variable Splitting. - Roger Antonsen; Arild Waaler (J. Autom. Reason., 2007)

Incremental variable splitting. - Christian Mahesh Hansen; Roger Antonsen; Martin Giese; Arild Waaler (J. Symb. Comput., 2012)

Book Reviews. - Roger Antonsen; Andreas Nakkerud (Stud Logica, 2018)

Logical Methods - The Art of Thinking Abstractly and Mathematically - Roger Antonsen (Springer, 2021)