47 citations · 54 across the 3 of their papers we have counts for
1 paper · 1 filter
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert +1
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat…