An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. - Alexandre Matos Arruda; Ana Teresa C. Martins (LSFA, 2007)

Natural deduction for the finite least fixed point logic with an infinitary rule. - Alexandre Matos Arruda; Ana Teresa C. Martins (Log. J. IGPL, 2009)

Completeness for cut-based abduction. - Alexandre Matos Arruda; Marcelo Finger (Log. J. IGPL, 2014)

Classic and probabilistic abduction: the search for the explanation of real data. - Alexandre Matos Arruda (2014)