Basic Paramodulation

Authors:
  • LBL. Bachmair
    L. Bachmair
  • HGH. Ganzinger
    H. Ganzinger
  • CLC. Lynch
    C. Lynch
  • WSW. Snyder
    W. Snyder
Open Access
Publisher website
Google Scholar
Abstract
No abstract available