E. Kruglov

Superposition modulo theory

Evgeny Kruglov, E. Kruglov, 2013 .

Superposition Decides the First-Order Logic Fragment Over Ground Theories

Christoph Weidenbach, E. Kruglov, 2012, Mathematics in Computer Science.

Superposition Modulo Linear Arithmetic SUP(LA)

Ernst Althaus, Christoph Weidenbach, Evgeny Kruglov, 2009, FroCoS.

Superposition Decides the First-Order Logic Fragment Over Ground Theories

Christoph Weidenbach, Evgeny Kruglov, Christoph Weidenbach, 2012, Mathematics in Computer Science.

Automatic Generation of Invariants for Circular Derivations in SUP(LA)

Christoph Weidenbach, Evgeny Kruglov, Arnaud Fietzke, 2012, LPAR.

On embedding of arcs and circles in 3-manifolds in an application to dynamics of rough 3-diffeomorhisms with two-dimensional expanding attractor

E. Kruglov, O. Pochinka, V. Grines, 2018, 1812.01436.

Superposition Modulo Non-linear Arithmetic

Christoph Weidenbach, Evgeny Kruglov, Stefan Kupferschmid, 2011, FroCoS.