Bierlaire, MichelOrtelli, Nicola Marco2023-03-132023-03-132023-03-132022https://infoscience.epfl.ch/handle/20.500.14299/195996Assisted specification with Biogemetext::report