Steadfast logic programs
From MaRDI portal
Publication:4719365
DOI10.1016/S0743-1066(98)10023-7zbMath0937.68020OpenAlexW2051721947MaRDI QIDQ4719365
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
Publication date: 4 January 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10023-7
Related Items
Formal reasoning about modules, reuse and their correctness, Calculating modules in contextual logic program refinement, An abstract formalization of correct schemas for program synthesis