1. M. Andoni, W. Tang, V. Robu, D. Flynn: Data analysis of battery storage systems. CIRED - Open Access Proc. J. 2017(1), 96–99 (2017).
https://doi.org/10.1049/oap-cired.2017.0657
2. A. Beschta, O. Dressler, H. Freitag, M. Montag, P. Struss, A model-based approach to fault localization in power transmission networks. Intell. Syst. Eng. 2, 3–14 (1992)
3. G. Biswas, K. Krishnamurthy, P. Basu, Applying qualitative reasoning techniques for analysis and evaluation in structural design, in Proceedings of the Seventh IEEE Conference on Artificial Intelligence Application (1991), pp. 265–268
4. F. Cascio, L. Console, M. Guagliumi, M. Osella, A. Panati, S. Sottano, D.T. Dupré, Generating on-board diagnostics of dynamic automotive systems based on qualitative models. AI Commun. 12(1/2), 33–43 (1999)
5. C.L. Chang, R.C.T. Lee, Symbolic Logic and Mechanical Theorem Proving (Academic Press, Cambridge, 1973)