%0 Journal Article %1 journals/afp/KreuzerE23 %A Kreuzer, Katharina %A Eberl, Manuel %D 2023 %J Arch. Formal Proofs %K dblp %T Elimination of Repeated Factors Algorithm. %U http://dblp.uni-trier.de/db/journals/afp/afp2023.html#KreuzerE23 %V 2023

@article{journals/afp/KreuzerE23, added-at = {2023-11-17T00:00:00.000+0100}, author = {Kreuzer, Katharina and Eberl, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/209b3085151ea3848b6f0f40209531e9f/dblp}, ee = {https://www.isa-afp.org/entries/Elimination_Of_Repeated_Factors.html}, interhash = {9812996980b7d6570e363f52b81efed1}, intrahash = {09b3085151ea3848b6f0f40209531e9f}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:36:56.000+0200}, title = {Elimination of Repeated Factors Algorithm.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2023.html#KreuzerE23}, volume = 2023, year = 2023 }