@book{butler_overbeek_1990, 
  title={A tutorial on the construction of high-performance resolution/paramodulation systems}, 
  DOI={10.2172/6569195}, 
  institution={Office of Scientific and Technical Information  (OSTI)}, 
  author={Butler and Overbeek}, 
  year={1990}, 
  month={Sep}
  }