A formal framework for characterizing querying algorithms.

From MaRDI portal
Publication:1431811