Roel Bloo, Fairouz Kamareddine, Rob Nederpelt. The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput., 126(2):123-143, 1996.
@article{BlooKN96, title = {The Barendregt Cube with Definitions and Generalised Reduction}, author = {Roel Bloo and Fairouz Kamareddine and Rob Nederpelt}, year = {1996}, researchr = {https://researchr.org/publication/BlooKN96}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {126}, number = {2}, pages = {123-143}, }