@article{YangRS04,
  author    = {Ping Yang and C.R. Ramakrishnan and Scott A. Smolka},
  title     = {A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution},
  journal   = {International Journal on Software Tools for Technology Transfer},
  volume    = {6},
  number    = {1},
  year      = {2004},
  pages     = {38-66}
}