Robert Meolic, Tatjana Kapus, Zmago Brezocnik. ACTLW - An action-based computation tree logic with unless operator. Inf. Sci., 178(6):1542-1557, 2008. [doi]
@article{MeolicKB08,
title = {ACTLW - An action-based computation tree logic with unless operator},
author = {Robert Meolic and Tatjana Kapus and Zmago Brezocnik},
year = {2008},
doi = {10.1016/j.ins.2007.10.023},
url = {http://dx.doi.org/10.1016/j.ins.2007.10.023},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/MeolicKB08},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {178},
number = {6},
pages = {1542-1557},
}