Checking Pedigree Consistency with PCS. - Panagiotis Manolios; Marc Galceran Oms; Sergi Oliva Valls (TACAS, 2007)

On the complexity of resolution-based proof systems. - Sergi Oliva Valls (2013)