Automatically verifying reachability and well-formedness in P4 Networks
Complexity and Expressive Power of Logic Programming