Automated search for several alternative logical inferences in a mivar knowledge base
E3S Web Conf., 515 (2024) 03017
Published online: 12 April 2024
DOI: 10.1051/e3sconf/202451503017