Isaac Mackey, Jianwen Su. Mapping singly-linked rules to linear temporal logic formulas. Inf. Syst., 117:102222, July 2023. [doi]
@article{MackeyS23, title = {Mapping singly-linked rules to linear temporal logic formulas}, author = {Isaac Mackey and Jianwen Su}, year = {2023}, month = {July}, doi = {10.1016/j.is.2023.102222}, url = {https://doi.org/10.1016/j.is.2023.102222}, researchr = {https://researchr.org/publication/MackeyS23}, cites = {0}, citedby = {0}, journal = {Inf. Syst.}, volume = {117}, pages = {102222}, }