@inproceedings{gelder+:aim02,
  author = {Gelder, Allen},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  month = jan,
  title = {Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution .},
  year = {2002},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAZcGFwZXJzL2dlbGRlcithaW0wMi1hLnBkZk8RAW4AAAAAAW4AAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xJnZWxkZXIrYWltMDItYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAOC86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6Z2VsZGVyK2FpbTAyLWEucGRmAA4AJgASAGcAZQBsAGQAZQByACsAYQBpAG0AMAAyAC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIANlVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL2dlbGRlcithaW0wMi1hLnBkZgATAAEvAAAVAAIAD///AAAACAANABoAJABAAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAbI=}
}