Open Blaisorblade opened 9 years ago
@Toxaris wrote in #95:
I think the paragraph starting with "At this point" on page 64 of http://www2.tcs.ifi.lmu.de/~abel/habil.pdf is relevant to this question. It contains a reference to http://edoc.ub.uni-muenchen.de/9761/1/BarralPhd.pdf which might or might not explain what we're doing. There's also a reference to http://www2.tcs.ifi.lmu.de/~abel/lmcs10.pdf which maybe describes what we should be doing.
I took a look at the first reference, and estimated this would take more than 5 minutes. Hence, I'm deferring it by creating a separate issue.
@Toxaris wrote in #95:
I took a look at the first reference, and estimated this would take more than 5 minutes. Hence, I'm deferring it by creating a separate issue.