Existential Quantification as Incremental SAT. - Jörg Brauer; Andy King; Jael Kriener (CAV, 2011)

Correct Reasoning about Logic Programs. - Jael Kriener (ICLP (Technical Communications), 2011)

RedAlert: Determinacy inference for Prolog. - Jael Kriener; Andy King (Theory Pract. Log. Program., 2011)

Mutual Exclusion by Interpolation. - Jael Kriener; Andy King (FLOPS, 2012)

Proofs you can believe in: proving equivalences between Prolog semantics in Coq. - Jael Kriener; Andy King; Sandrine Blazy (PPDP, 2013)

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. - Damien Doligez; Jael Kriener; Leslie Lamport; Tomer Libal; Stephan Merz (ARQNL@IJCAR, 2014)

Semantics for Prolog with Cut - Revisited. - Jael Kriener; Andy King (FLOPS, 2014)