There are 0 repository under logic-rules topic.
Automatic Inference of Structural Changes for Matching across Program Versions (ICSE 2007)
Discovering and Representing Systematic Code Changes (ICSE 2009)