An Isomorph-Free SEM-Like Enumeration of Models

Thierry Boy de la Tour, Prakash Countcham. An Isomorph-Free SEM-Like Enumeration of Models. Electronic Notes in Theoretical Computer Science, 125(2):91-113, 2005. [doi]

Abstract

Abstract is missing.