1973/04/01 by N. A. Watson · 1 citationComputer Science · #Advanced Algebra and Logic
paper · doi:10.1112/plms/s3-26.3.385