Jan A. Bergstra, John V. Tucker. On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness. Comput. J., 66(7):1565-1572, July 2023. [doi]
@article{BergstraT23-0,
title = {On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness},
author = {Jan A. Bergstra and John V. Tucker},
year = {2023},
month = {July},
doi = {10.1093/comjnl/bxac026},
url = {https://doi.org/10.1093/comjnl/bxac026},
researchr = {https://researchr.org/publication/BergstraT23-0},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {66},
number = {7},
pages = {1565-1572},
}