Fingerprint
Dive into the research topics of 'Exploiting Equality Generating Dependencies in Checking Chase Termination'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Exploiting Equality Generating Dependencies in Checking Chase Termination
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Research output: Contribution to journal › Article › peer-review