IIPS: A framework for specifying inductive-inference problems
inductive-inference problem specification
scientific article; zbMATH DE number 148557