Publication | Closed Access

The defining power of stratified and hierarchical logic programs

Applied LogicEngineeringAutomated ReasoningHierarchical Logic ProgramsFormal MethodsWell-founded SemanticsComputer ScienceLogic Programming