Foundation of a computable solid modeling, Theoretical Computer Science 284 (2002)

by A Edalat, A Lieutier