* *extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution* by Gelder
* *analyzing dependencies in large component-based systems* (ASE 02) by Vieira, Richardson
* *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
+* *the power of gifts: organizing social relationships in open source communities* (information systems journal) by Berquist, Ljungberg)
+* *evidences in the evolution of OS projects through changelog analyses* by Capiluppi, Lago, Morisio
Other stuff to look at: