Papers Citing LADR/Prover9/Mace4

[mkinyon]

The purpose of this thread is to collect references to publications citing LADR, Prover9 or Mace4. If you know of something not already here, such as something you just wrote, feel free to add it.

[mspinksau]

As a start:

• R. Veroff and M. Spinks. Axiomatizing the Skew Boolean Propositional Calculus. Journal of Automated Reasoning, 37(1,2):3-20, 2006.
• M. Spinks and R. Veroff. Constructive Logic with Strong Negation is a Substructural Logic. I. Studia Logica, 88(3):325-348, 2008.
• M. Spinks and R. Veroff. Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica, 89(3):401-425, 2008.

[mkinyon]

In reverse chronological order. Does not include papers from the pre-Prover9 OTTER days.

• M. K. Kinyon, K. Pula and P. Vojtechovsky, Admissible orders of Jordan loops, J. Combinatorial Designs 17 (2009), no. 2, 103-118.
• M. K. Kinyon, J. D. Phillips and P. Vojtechovsky, When is the commutant of a Bol loop a subloop? Trans. Amer. Math. Soc. 360 (2008), no. 5, 2393-2408.
• T. Kepka, M. K. Kinyon and J. D. Phillips, The structure of F-quasigroups, J. Algebra 317 (2007), no. 2, 435-461.
• M. K. Kinyon, J. D. Phillips and P. Vojtechovsky, C-loops: extensions and constructions, J. Algebra Appl. 6 (2007), no. 1, 1-20.
• M. K. Kinyon and K. Kunen, Power-associative, conjugacy closed loops, J. Algebra 304 (2006), no. 2, 679-711.
• M. Aschbacher, M. K. Kinyon and J. D. Phillips, Finite Bruck loops, Trans. Amer. Math. Soc. 358 (2006), no. 7, 3061-3075.

[mspinksau]

• P. Sanchez Terraf, Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids, Order, 25 (2008), 377-386.