"A Decision of the German Supreme Court on Patentability of Computer-Program-Related Invention: Logic Verification"

"A Decision of the German Supreme Court on Patentability of Computer-Program-Related Invention: Logic Verification," PATENT Vol. 55, No. 2, pp. 21-30 (2002), published by JPAA