@Article{EhrhardLaurent10b,
  author  = {Thomas Ehrhard and Olivier Laurent},
  title   = {Acyclic Solos and Differential Interaction Nets},
  journal = {Logical Methods in Computer Science},
  volume  = {6},
  number  = {3},
  pages   = {11},
  month   = sep,
  year    = {2010}
}