An efficient decision procedure for the theory of rational order
scientific article; zbMATH DE number 3578865