Lan Lin, Yufeng Xue. An Algorithm for Forward Reduction in Sequence-Based Software Specification. In Jerry Gou, editor, The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, Redwood City, San Francisco Bay, USA, July 1-3, 2016. pages 309-316, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2016. [doi]
Abstract is missing.