Cao, Son Thanh, and Linh Anh Nguyen. 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.