@Article{Laurent11,
  author  = {Olivier Laurent},
  title   = {Intuitionistic Dual-intuitionistic Nets},
  journal = {Journal of Logic and Computation},
  volume  = {21},
  number  = {4},
  pages   = {561--587},
  month   = aug,
  year    = {2011}
}

