Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics

Download PDF

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Published: 01 Jan 2023, Last Modified: 01 Aug 2025CILC 2023EveryoneRevisionsBibTeXCC BY-SA 4.0