Publication | Closed Access
Logic programs with exceptions
140
Citations
8
References
1991
Year
Applied LogicNon-classical LogicEngineeringAutomated ReasoningFormal MethodsLogic ProgramsComputer ScienceFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1