A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. - José Bacelar Almeida; Jorge Sousa Pinto; Miguel Vilaça (TERMGRAPH@ETAPS, 2006)

Visual Programming with Recursion Patterns in Interaction Nets. - Ian Mackie; Jorge Sousa Pinto; Miguel Vilaça (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Token-passing Nets for Functional Languages. - José Bacelar Almeida; Jorge Sousa Pinto; Miguel Vilaça (WRS@RDP, 2007)

A Tool for Programming with Interaction Nets. - José Bacelar Almeida; Jorge Sousa Pinto; Miguel Vilaça (RULE@RDP, 2007)

Iterators, Recursors and Interaction Nets - Ian Mackie; Jorge Sousa Pinto; Miguel Vilaça (CoRR, 2009)