%0 Journal Article %1 journals/afp/FleuryK20 %A Fleury, Mathias %A Kaufmann, Daniela %D 2020 %J Arch. Formal Proofs %K dblp %T Practical Algebraic Calculus Checker. %U http://dblp.uni-trier.de/db/journals/afp/afp2020.html#FleuryK20 %V 2020

@article{journals/afp/FleuryK20, added-at = {2020-12-10T00:00:00.000+0100}, author = {Fleury, Mathias and Kaufmann, Daniela}, biburl = {https://www.bibsonomy.org/bibtex/264176c12233c61223f0ad7a53d934233/dblp}, ee = {https://www.isa-afp.org/entries/PAC_Checker.html}, interhash = {c3a25fe6a058fdc42d2812a323fc4463}, intrahash = {64176c12233c61223f0ad7a53d934233}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:36:59.000+0200}, title = {Practical Algebraic Calculus Checker.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2020.html#FleuryK20}, volume = 2020, year = 2020 }