Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008). Verifying resource requirements for distributed rule-based systems. In N. Bassiliades, G. Governatori, & A. Paschke (Eds.), Rule Representation, Interchange and Reasoning on the Web (31-38). https://doi.org/10.1007/978-3-540-88808-6_6