Parsimonious Diagnosis in SNePS. - Pedro A. de Matos; João P. Martins (EPIA, 1995)

Contextual Logic of Change and the Ramification Problem. - Pedro A. de Matos; João P. Martins (EPIA, 1997)

Contextual Logic of Change and Contextual Proofs. - Pedro A. de Matos; João P. Martins (TIME, 1997)

Non-situation Calculus and Database Systems. - Pedro A. de Matos; João P. Martins (FoIKS, 2000)