Time-bounded query generator for constraint acquisition
scientific article; zbMATH DE number 6982380