A formal framework for characterizing querying algorithms.
scientific article; zbMATH DE number 2073681
scientific article