Deterministic and nondeterministic computation, and horn programs, on abstract data types
definability of relations on abstract structures
scientific article; zbMATH DE number 39272
scientific article