Cardinality of relations and relational approximation algorithms

Rudolf Berghammer, Peter Höfner, Insa Stucke. Cardinality of relations and relational approximation algorithms. Journal of Logic and Algebraic Programming, 85(2):269-286, 2016. [doi]

Abstract

Abstract is missing.