Open rfl-urbaniak opened 9 months ago
https://www.sciencedirect.com/science/article/abs/pii/S0010027711000394
https://www.sciencedirect.com/science/article/abs/pii/S0010027711000394