A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
scientific article; zbMATH DE number 7497913
scientific article