María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña. Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 229-255, Springer, 2014. [doi]
Abstract is missing.