@inproceedings{YangRS03,
  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},
  booktitle = {4th International Conference on Verification, Model Checking, and Abstract Interpretation},
  year      = {2003},
  pages     = {116-131},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2575},
  year      = {2003}
}