Bedau, M.A.MacCaskill, J.S.Packard, N.H.Rasmussen, S.2022-03-092022-03-092000https://publica.fraunhofer.de/handle/publica/336585enconference proceeding