"To Store or Not to Store."

Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics