Carl H. Smith Rolf Wiehagen Thomas Zeugmann Classifying Predicates and Languages. 15- 1997 8 Int. J. Found. Comput. Sci. 1 db/journals/ijfcs/ijfcs8.html#SmithWZ97