Wallace Bishop Mann
Stanford Univ.
Predicate Logic Based Image Grammars for Complex Pattern Recognition
International Journal of Computer Vision