TY  - RPRT
TI  - Superposition with Lambdas
AU  - Alexander Bentkamp
AU  - Jasmin Blanchette
AU  - Sophie Tourret
AU  - Petar Vukmirović
AU  - Uwe Waldmann
PY  - 2021
UR  - https://arxiv.org/abs/2102.00453
ID  - 2102.00453
ER  -