Encoding Functional Relations in Scunak

Chad E. Brown. Encoding Functional Relations in Scunak. Electronic Notes in Theoretical Computer Science, 174(5):127-139, 2007. [doi]

Abstract

Abstract is missing.