Comparing Cubes (1994)

by S van Bakel, L Liquori, S Ronchi della Rocca, P Urzyczyn
Venue:Proceedings of LFCS ’94. Third International Symposium on Logical Foundations of Computer Science