S. T. Cao and L. A. Nguyen, “Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases”, Comput. Inform., vol. 38, no. 1, pp. 19–56, Apr. 2019.