Cao, Son Thanh, and Linh Anh Nguyen. “Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases”. Computing and Informatics 38, no. 1 (April 26, 2019): 19–56. Accessed April 30, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/2019_1_19.