%0 Journal Article %1 journals/jsc/KutsiaM15 %A Kutsia, Temur %A Marin, Mircea %D 2015 %J J. Symb. Comput. %K dblp %P 42-67 %T Regular expression order-sorted unification and matching. %U http://dblp.uni-trier.de/db/journals/jsc/jsc67.html#KutsiaM15 %V 67

@article{journals/jsc/KutsiaM15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Kutsia, Temur and Marin, Mircea}, biburl = {https://www.bibsonomy.org/bibtex/2ef33bd8717b11a20e1b6b4f850db2bd5/dblp}, ee = {https://www.wikidata.org/entity/Q41046736}, interhash = {7ef10f13b5f64a9c7d43aa05ac1d4537}, intrahash = {ef33bd8717b11a20e1b6b4f850db2bd5}, journal = {J. Symb. Comput.}, keywords = {dblp}, pages = {42-67}, timestamp = {2024-04-09T05:30:38.000+0200}, title = {Regular expression order-sorted unification and matching.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc67.html#KutsiaM15}, volume = 67, year = 2015 }