%0 Journal Article %1 journals/jar/SorgeMMC08 %A Sorge, Volker %A Meier, Andreas %A McCasland, Roy L. %A Colton, Simon %D 2008 %J J. Autom. Reason. %K %N 2-3 %P 221-243 %T Automatic Construction and Verification of Isotopy Invariants. %U http://dblp.uni-trier.de/db/journals/jar/jar40.html#SorgeMMC08 %V 40

@article{journals/jar/SorgeMMC08, added-at = {2023-12-13T07:21:22.000+0100}, author = {Sorge, Volker and Meier, Andreas and McCasland, Roy L. and Colton, Simon}, biburl = {https://www.bibsonomy.org/bibtex/2550c95f99e5caf96b956e6743b81aeaf/admin}, ee = {https://doi.org/10.1007/s10817-007-9093-y}, interhash = {b80509a89909e4a922a8da1b48dc8175}, intrahash = {550c95f99e5caf96b956e6743b81aeaf}, journal = {J. Autom. Reason.}, keywords = {}, number = {2-3}, pages = {221-243}, timestamp = {2023-12-13T07:21:22.000+0100}, title = {Automatic Construction and Verification of Isotopy Invariants.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar40.html#SorgeMMC08}, volume = 40, year = 2008 }