Search Results for author:
Found 1 papers, 0 papers with code
Verifying Tight Logic Programs with anthem and Vampire
This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
