Stefan Brüning, Torsten Schaub. A Model-Based Approach to Consistency-Checking. In Zbigniew W. Ras, Maciej Michalewicz, editors, Foundations of Intelligent Systems, 9th International Symposium, ISMIS 96, Zakopane, Poland, June 9-13, 1996, Proceedings. Volume 1079 of Lecture Notes in Computer Science, pages 315-324, Springer, 1996.
No references recorded for this publication.
No citations of this publication recorded.