Concurrency Problem for Horn Fragment of Girard's Linear Logic. - Dmitry A. Archangelsky; Michael I. Dekhtyar; Evgeny Kruglov; Ilmir Kh. Musikaev; Mikhail A. Taitslin (LFCS, 1994)

Superposition Modulo Linear Arithmetic SUP(LA). - Ernst Althaus; Evgeny Kruglov; Christoph Weidenbach (FroCoS, 2009)

Superposition Modulo Non-linear Arithmetic. - Andreas Eggers; Evgeny Kruglov; Stefan Kupferschmid; Karsten Scheibler; Tino Teige; Christoph Weidenbach (FroCoS, 2011)

Automatic Generation of Invariants for Circular Derivations in SUP(LA). - Arnaud Fietzke; Evgeny Kruglov; Christoph Weidenbach (LPAR, 2012)

Superposition Decides the First-Order Logic Fragment Over Ground Theories. - Evgeny Kruglov; Christoph Weidenbach (Math. Comput. Sci., 2012)

Superposition modulo theory. - Evgeny Kruglov (2013)