| 74dfa6bc521350525358340117512f8afe9fdd26 |
|
20-Aug-2009 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
first draft of paper about optimizations of conditional logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12187 cec4b9c1-7d33-0410-9eda-942365e851bb |