Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases

From MaRDI portal
Publication:6487687