search

xldrx / reading_group

3 stars 3 forks source link

Exploiting Equality Generating Dependencies in Checking Chase Termination #356

Open xldrx opened 7 years ago