@inproceedings{kaneiwa-satoh06, author="K. Kaneiwa and K. Satoh", title="Consistency Checking Algorithms for Restricted {UML} Class Diagrams", booktitle="Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS2006)", publisher = "LNCS 3861, Springer--Verlag", pages = "219--239", year="2006"}