A Practical Approach for Logic Program Analysis and Transformation. - Wamberto Weber Vasconcelos; Eudenia Xavier Meneses (MICAI, 2000)

Expressing systems capabilities for knowledge coordination. - Eudenia Xavier Meneses; Flávio S. Corrêa da Silva (AAMAS, 2002)