@inproceedings{CTT100677941,
  author = {Takashi Tomita and Takahito Kimura and Shigeki Hagihara and Naoki Yonezaki},
  title = {An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2014)},
  year = 2014,
}