Towards a theory of consistency enforcem
โ
Klaus-Dieter Schewe; Bernhard Thalheim
๐
Article
๐
1999
๐
Springer-Verlag
๐
English
โ 253 KB