Reduction and Introducers in d-contexts
2019 ◽
pp. 73-88