External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Horn Equational Theories and Paramodulation

Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber. Horn Equational Theories and Paramodulation. Journal of Automated Reasoning, 5(3):309-337, 1989.

Authors

Ulrich Furbach

This author has not been identified. Look up 'Ulrich Furbach' in Google

Steffen Hölldobler

This author has not been identified. Look up 'Steffen Hölldobler' in Google

Joachim F. Schreiber

This author has not been identified. Look up 'Joachim F. Schreiber' in Google
runs on