Liu et al. "A Decision Procedure for a Fragment of Linear Time Mu-Calculus." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Liu et al. "A Decision Procedure for a Fragment of Linear Time Mu-Calculus." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/liu2016ijcai-decision/)
BibTeX
@inproceedings{liu2016ijcai-decision,
title = {{A Decision Procedure for a Fragment of Linear Time Mu-Calculus}},
author = {Liu, Yao and Duan, Zhenhua and Tian, Cong},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {1195-1201},
url = {https://mlanthology.org/ijcai/2016/liu2016ijcai-decision/}
}