research
∙
07/06/2023
Querying Data Exchange Settings Beyond Positive Queries
Data exchange, the problem of transferring data from a source schema to ...
share
research
∙
12/13/2015
Using Linear Constraints for Logic Program Termination Analysis
It is widely acknowledged that function symbols are an important feature...
research
∙
11/29/2013
