Bruno Berstel-Da Silva. Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs. In Antonis Bikakis, Adrian Giurca, editors, Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings. Volume 7438 of Lecture Notes in Computer Science, pages 47-61, Springer, 2012. [doi]
Abstract is missing.