Alert button

Verifying Tight Logic Programs with anthem and vampire

Aug 05, 2020
Jorge Fandinno, Vladimir Lifschitz, Patrick Luhne, Torsten Schaub

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: