Koji Torii Yuji Sugiyama Mamoru Fujii Tadao Kasami Yoshitomi Morisawa Logical Programming for the Telegram Analysis Problem. 9-20 1987 12 Comput. Lang. 1 db/journals/cl/cl12.html#ToriiSFKM87