Journal articles

• José Júlio Alferes, Carlos Viegas Damásio and Luís Moniz Pereira, A Logic Programming System for Non-monotonic Reasoning, Journal of Automated Reasoning, Vol. 14, Pag. 93-147, 1995.
• José Júlio Alferes and Luís Moniz Pereira, Belief, Provability and Logic Programs (extended version), Journal of Applied Non-Classical Logics, Vol. 1, No. 5, Pag. 31-50, 1995.
• Pedro Barahona, R. Walton, Z. Ilic and J. Ferreira da Silva, Deep Medical Knowledge to Design Clinical Guidelines, Computer Methods and Programs in Biomedicine, Vol. 48, Pag. 27-34, Elsevier, 1995.