Jia Tao. m. Journal of Automated Reasoning, 63(3):539-555, 2019. [doi]
@article{Tao19-0, title = {m}, author = {Jia Tao}, year = {2019}, doi = {10.1007/s10817-018-9473-5}, url = {https://doi.org/10.1007/s10817-018-9473-5}, researchr = {https://researchr.org/publication/Tao19-0}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {63}, number = {3}, pages = {539-555}, }