"Automatic Generation of Atomic Consistency Preserving Search Operators for ..."

Alexandru Burdusel, Steffen Zschaler, Stefan John (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics