J. A. Bergstra and J. V. . Tucker, “Fracterm Calculus for Signed Common Meadows”, Transmath, Jun. 2024.