An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming | Digital Library | PAMCET

An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming | Digital Library | PAMCET | PAMCET