Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.

Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun

Browse the full TASE paper archive.