Cao, Son Thanh, and Linh Anh Nguyen. “Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases”. COMPUTING AND INFORMATICS, vol. 38, no. 1, Apr. 2019, pp. 19–56, doi:10.31577/cai_2019_1_19.