Jos de Bruijn, MartÃn Rezk. A Logic Based Approach to the Static Analysis of Production Systems. In Axel Polleres, Terrance Swift, editors, Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Volume 5837 of Lecture Notes in Computer Science, pages 254-268, Springer, 2009. [doi]
Abstract is missing.