@article{loveland_2018, 
  title={A linear format for resolution}, 
  DOI={10.1184/r1/6587537.v1}, 
  abstractNote={Computer Science Department}, 
  publisher={Figshare}, 
  author={Loveland, Donald W.}, 
  year={2018}, 
  month={Jun}
  }