An Isomorph-Free SEM-Like Enumeration of Models. - Thierry Boy de la Tour; Prakash Countcham (STRATEGIES@IJCAR, 2004)