STICS: search with strings, things, and cats #1 Post by jrbn » Wed, Apr 15, 2015, 10:02 AM UTC STICS: search with strings, things, and catsstics.mpi-inf.mpg.de