%0 Journal Article %1 journals/corr/abs-2402-09187 %A Rydval, Jakub %A Semanisinová, Zaneta %A Wrona, Michal %D 2024 %J CoRR %K dblp %T Identifying Tractable Quantified Temporal Constraints within Ord-Horn. %U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-09187 %V abs/2402.09187

@article{journals/corr/abs-2402-09187, added-at = {2024-02-19T00:00:00.000+0100}, author = {Rydval, Jakub and Semanisinová, Zaneta and Wrona, Michal}, biburl = {https://www.bibsonomy.org/bibtex/2745443469eba6e9ebbd60195bd55758e/dblp}, ee = {https://doi.org/10.48550/arXiv.2402.09187}, interhash = {050bef5dbe9bc1ba260599cd19234caa}, intrahash = {745443469eba6e9ebbd60195bd55758e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:50:49.000+0200}, title = {Identifying Tractable Quantified Temporal Constraints within Ord-Horn.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-09187}, volume = {abs/2402.09187}, year = 2024 }