From fa03fa70dc0e300a27bfb83ba318b81ee89237c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= Date: Mon, 13 Sep 2021 10:36:44 +0200 Subject: [PATCH] Update publications.md --- _pages/publications.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_pages/publications.md b/_pages/publications.md index 3ba31f7e3eea..65efcf2f9f0b 100644 --- a/_pages/publications.md +++ b/_pages/publications.md @@ -8,7 +8,7 @@ classes: wide * V. Havlena, L. Holik, O. Lengal, and T. Vojnar. [Automata Terms in a Lazy WSkS Decision Procedure](http://dx.doi.org/10.1007/s10817-021-09597-w). -Journal of Automated Reasoning (JAR) XXX(YYY), pages WWW--ZZZ, 2021. Springer-Verlag. +Journal of Automated Reasoning (JAR) 65(7), pages WWW--ZZZ, 2021. Springer-Verlag. A preliminary version is available [here](https://github.com/ondrik/ondrik.github.io/raw/master/publications/jar-21-lazy-wsks.pdf). **INCOMPLETE REFERENCE**