On the complexity of rational verification
scientific article; zbMATH DE number 7730283