Concepedia
Publication | Closed Access
Formalizing a logic for logic programming
52
Citations
17
References
1992
Year
Applied LogicEngineeringAutomated ReasoningPropositional LogicFormal MethodsFormal VerificationLogic Programming
Page 1