Cao, S. T., & Nguyen, L. A. (2019). Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases. Computing and Informatics, 38(1), 19–56. https://doi.org/10.31577/cai_2019_1_19