Tomi Janhunen, “Generalizing Level Ranking Constraints for Monotone and Convex Aggregates”, Electron. Proc. Theor. Comput. Sci., 385, 2023, 101
M. Gebser, M. Gharib, R. Mercer, T. Schaub, “Monotonic Answer Set Programming”, Journal of Logic and Computation, 19, № 4, 2009, 539
Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, 5689, Reasoning Web. Semantic Technologies for Information Systems, 2009, 40
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran, 4932, Foundations of Information and Knowledge Systems, 2008, 24
William Claycomb, Dongwan Shin, Gail‐Joon Ahn, “Enhancing directory virtualization to detect insider activity”, Security Comm Networks, 5, № 8, 2012, 873
Patrick Doherty, Andrzej Szałas, 17, Ewa Orłowska on Relational Methods in Logic and Computer Science, 2018, 233
Matti Järvisalo, Emilia Oikarinen, 4670, Logic Programming, 2007, 134
Michael Crouch, Neil Immerman, J. Eliot B. Moss, 6300, Fields of Logic and Computation, 2010, 181
Yan Zhang, Shiyang Wei, Fasheng Cao, 2020 12th International Conference on Measuring Technology and Mechatronics Automation (ICMTMA), 2020, 1160
Answer Set Solving in Practice, 2013