A Logic Based Approach to the Static Analysis of Production Systems
2009 ◽
pp. 254-268
◽
2018 ◽
Vol 66
(10)
◽
pp. 806-818
◽