作　　者：Marco Almeida ;Nelma Moreira ;Rogério Reis

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;3:47-57.doi:10.4204/EPTCS.3.4

出 版 社：Open Publishing Association

文 章 ID：83119703

作　　者：Nelma Moreira ;Davide Nabais ;Rogério Reis

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;31:139-148.doi:10.4204/EPTCS.31.16

出 版 社：Open Publishing Association

文 章 ID：83119980

作　　者：Ricardo Almeida ;Sabine Broda ;Nelma Moreira

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:127-140.doi:10.4204/EPTCS.96.10

出 版 社：Open Publishing Association

文 章 ID：83120592

作　　者：Marcus V M Ramos ;José Carlos Bacelar Almeida ;Nelma Moreira 等

出　　处：Journal of Formalized Reasoning. 2016 ;9(2):53-68.doi:10.6092/issn.1972-5787/5595

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：191490968

作　　者：Miguel Ferreira ;Nelma Moreira ;Rog{\'e}rio Reis

出　　处：OASIcs : OpenAccess Series in Informatics. 2016 ;51:1-7.doi:10.4230/OASIcs.SLATE.2016.15

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848918