@inbook{5745,
  author       = {Gupta, Ashutosh},
  booktitle    = {Automated Technology for Verification and Analysis},
  isbn         = {9783642333859},
  issn         = {1611-3349},
  location     = {Thiruvananthapuram, Kerala, India},
  pages        = {107--121},
  publisher    = {Springer Berlin Heidelberg},
  title        = {{Improved Single Pass Algorithms for Resolution Proof Reduction}},
  doi          = {10.1007/978-3-642-33386-6_10},
  volume       = {7561},
  year         = {2012},
}