%0 Conference Paper %B Practical Aspects of Declarative Languages %D 2011 %I Springer Berlin Heidelberg %P 160-174 %T Sloth – a Tool for Checking Minimal-Strictness %@ 978-3-642-18378-2