@inproceedings{CTT100737456,
  author = {Masaya Shimakawa and Yuuji Iwasaki and Shigeki Hagihara and Naoki Yonezaki},
  title = {Discussion of LTL Subsets for Efficient Verification},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2016)},
  year = 2016,
}