Najork, M. A. and Kaplan S. M. "A Prototype Implementation of the CUBE Language"

[Proceedings] (1992) Proc 1992 IEEE Workshop on Visual Languages, Seattle, Washington, September 1992  

Languages mentioned CUBE {1992} Three-dimensional visual language for higher-order logic