Author: Workshop and Conference on Logic, Algebra, and Arithmetic