A New Approach to Non-termination Analysis of Logic Programs
From MaRDI portal
Publication:4649732
DOI10.1007/978-3-642-02846-5_21zbMath1251.68070OpenAlexW2144853448MaRDI QIDQ4649732
Publication date: 13 November 2012
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/243648
Related Items (1)
Cites Work
This page was built for publication: A New Approach to Non-termination Analysis of Logic Programs