Cao, S. T.; Nguyen, L. A. Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases. Comput. Inform. 2019, 38, 19–56.