Raimonds Simanovskis Consistent and Conform Identification by Total Recursive Strategies. 45-54 1994 30 Elektronische Informationsverarbeitung und Kybernetik 1 db/journals/eik/eik30.html#Simanovskis94