%0 Journal Article %1 journals/afp/Dardinier22a %A Dardinier, Thibault %D 2022 %J Arch. Formal Proofs %K dblp %T A Restricted Definition of the Magic Wand to Soundly Combine Fractions of a Wand. %U http://dblp.uni-trier.de/db/journals/afp/afp2022.html#Dardinier22a %V 2022

@article{journals/afp/Dardinier22a, added-at = {2022-12-12T00:00:00.000+0100}, author = {Dardinier, Thibault}, biburl = {https://www.bibsonomy.org/bibtex/2d89ef5b793deebe9a05e7be7ec2b7440/dblp}, ee = {https://www.isa-afp.org/entries/Combinable_Wands.html}, interhash = {e7bef25e67370562d0cc00d3f732fb84}, intrahash = {d89ef5b793deebe9a05e7be7ec2b7440}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:36:59.000+0200}, title = {A Restricted Definition of the Magic Wand to Soundly Combine Fractions of a Wand.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2022.html#Dardinier22a}, volume = 2022, year = 2022 }