Bart Verheij About the logical relations between cases and rules. 21-32 2008 JURIX http://dx.doi.org/10.3233/978-1-58603-952-3-21 conf/jurix/2008 db/conf/jurix/jurix2008.html#Verheij08