Functional Programming and Logical Programming for the Telegram Analysis Problem

@inproceedings{Torii-al:ICSE84,
  author    = {Koji Torii and
               Yoshitomi Morisawa and
               Yuji Sugiyama and
               Tadao Kasami},
  title     = {Functional Programming and Logical Programming for the Telegram Analysis Problem},
  booktitle = {ICSE},
  pages     = {463--472},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}