Systems of explicit mathematics with nonconstructive -operator and join (1995)

by T Gla, T Strahm