Dantchev, S., & Riis, S. (2003). On relativisation and complexity gap for resolution-based proof systems. In Computer science logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, 25-30 August 2003, Vienna, Austria ; proceedings (142-154). https://doi.org/10.1007/978-3-540-45220-1_14