Superposition Decides the First-Order Logic Fragment Over Ground Theories

✍ Scribed by Kruglov, Evgeny; Weidenbach, Christoph

• Book ID: 118818516
• Publisher: Springer-Verlag
• Year: 2012
• Tongue: English
• Weight: 410 KB
• Volume: 6
• Category: Article
• ISSN: 1661-8270
• DOI: 10.1007/s11786-012-0135-4