Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames.

Shangfeng Wei, Zhi Li, Yilong Yang, Hongbin Xiao

Browse the full RE paper archive.