Ph. D. dissertations

• Mário Abrantes, Revision Based Total Semantics for Normal Logic Programs, Luís Moniz Pereira (superv.), FCT/UNL, The PhD was awarded in Mathematics (Logic and Foundations) at the Dept. of Mathematics of FCT/UNL. (url), December 2013.