Transforming gringo rules into formulas in a natural way (Q2055818): Difference between revisions

@@ Property / cites work @@
+Abstract gringo
@@ Property / cites work: Abstract gringo / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying strong equivalence of programs in the input language of \textsc{gringo}
+Normal rank
@@ Property / cites work @@
+A Characterization of Strong Equivalence for Logic Programs with Variables
+Normal rank
@@ Property / cites work @@
+Verifying Tight Logic Programs with anthem and vampire
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank