2020-04-10 10:50:27 (GMT)
@Alexander Bentkamp, every theorem/lemma/example we need from Waldmann et al. for our lambda-free-sup and lambda-sup articles will appear in the conference version.
2020-04-10 10:51:7 (GMT)
I think we should simply cite that.
2020-04-10 10:51:27 (GMT)
Instead of the report.
2020-04-10 10:51:47 (GMT)
The IJCAR camera-ready deadline is in 8 days from now.
2020-04-10 10:52:12 (GMT)
By then, the lemma/etc. numbers will be frozen forever.
2020-04-16 7:24:47 (GMT)
@Alexander Bentkamp What do you think of my suggestion above?
2020-04-16 7:26:41 (GMT)
Oh, sorry, forgot to respond. Yes, it would be good to have a stable reference.
2020-04-16 7:34:33 (GMT)
We're submitting the IJCAR paper today. That should be stable enough. ;)
2020-04-16 7:34:43 (GMT)
I'll make the change in both papers. It's very easy.
2020-04-16 7:42:14 (GMT)
Done