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]
No references recorded for this publication.
No citations of this publication recorded.