Conditional GrÖbner Basis: GrÖbner Basis Detection with Parameters. - Kosaku Nagasaka; Ryo Oshimatani (ACM Commun. Comput. Algebra, 2023)