Leo Bachmair
Leo Bachmair, Harald Ganzinger, Christopher Lynch, and Wayne Snyder.
Basic paramodulation.
Information and Computation
, 121(2):172-192, September 1995.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database