%0 Journal Article %1 journals/jar/HavlenaHLV21 %A Havlena, Vojtech %A Holík, Lukás %A Lengál, Ondrej %A Vojnar, Tomás %D 2021 %J J. Autom. Reason. %K dblp %N 7 %P 971-999 %T Automata Terms in a Lazy WSkS Decision Procedure. %U http://dblp.uni-trier.de/db/journals/jar/jar65.html#HavlenaHLV21 %V 65

@article{journals/jar/HavlenaHLV21, added-at = {2021-09-16T00:00:00.000+0200}, author = {Havlena, Vojtech and Holík, Lukás and Lengál, Ondrej and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/2b7c87ecc088a93669ce25ef7fbb47cff/dblp}, ee = {https://doi.org/10.1007/s10817-021-09597-w}, interhash = {4c1a0d365ac2dbe896b9a6ddefb86e04}, intrahash = {b7c87ecc088a93669ce25ef7fbb47cff}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 7, pages = {971-999}, timestamp = {2024-04-09T05:02:55.000+0200}, title = {Automata Terms in a Lazy WSkS Decision Procedure.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar65.html#HavlenaHLV21}, volume = 65, year = 2021 }