Dantchev, Stefan, Riis, Soren, "On relativisation and complexity gap for resolution-based proof systems", , 2003