Satoshi Matsuoka. A Confluent Extension of Lafont s Interaction Nets. In Philippe Codognet, editor, Programmation en logique avec contraintes, Actes des JFPLC 2001, 24 avril - 27 avril 2001, Cité des sciences et de l industrie, Paris. pages 123-138, Hermes, 2001.
Abstract is missing.