Marcin Szpyrka, Tomasz Szmuc. Design and Verification of Rule-Based Systems for Alvis Models. In Andrzej Skowron, Zbigniew Suraj, editors, Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam - Volume 2. Volume 43 of Intelligent Systems Reference Library, pages 539-558, Springer, 2013. [doi]
Abstract is missing.