Negation-as-failure rule for general logic programs with equality

✍ Scribed by Van Tu Le

• Publisher: Elsevier Science
• Year: 1985
• Tongue: English
• Weight: 502 KB
• Volume: 2
• Category: Article
• ISSN: 0743-1066
• DOI: 10.1016/s0743-1066(85)80004-2