Copies of classical logic in intuitionistic logic - Jaime Gaspar (2012)