A tool for programming with interaction nets - Almeida, José Bacelar (2008)
Proceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007)