Alois Glanc. On pattern recognition and description using many sorted predicate calculi. In Irwin E. Perlin, Thomas J. McConnell Jr., editors, Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973. ACM, 1973. [doi]
Abstract is missing.