Publication | Closed Access

N-Prolog and equivalence of logic programs

Computational LogicEngineeringAutomated ReasoningFormal MethodsLogic ProgramsWell-founded SemanticsComputer ScienceLogic Programming