Cyclist-SL: Nikos Gorogiannis
An entailment prover for separation logic with inductive predicates
based on cyclic proof. The theory and design is described in
J. Brotherston, N. Gorogiannis, and R. L. Petersen. A generic cyclic
theorem prover. In Proc. APLAS-10, pages 350-367. Springer, 2012.