Qianhui Liang, Stuart Harvey Rubin. Rule randomisation and its application to logic-based workflow verification. IJIDS, 1(3):265-281, 2009. [doi]
@article{LiangR09-1,
title = {Rule randomisation and its application to logic-based workflow verification},
author = {Qianhui Liang and Stuart Harvey Rubin},
year = {2009},
doi = {10.1504/IJIDS.2009.027655},
url = {http://dx.doi.org/10.1504/IJIDS.2009.027655},
tags = {rule-based, rules, logic, workflow},
researchr = {https://researchr.org/publication/LiangR09-1},
cites = {0},
citedby = {0},
journal = {IJIDS},
volume = {1},
number = {3},
pages = {265-281},
}