Javier Álvez, Francisco Javier López-Fraguas. A Complete Axiomatization of Strict Equality. FLOPS 2010: 118-133

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro. Translating propositional extended conjunctions of Horn clauses into Boolean circuits. Theor. Comput. Sci. 411(16-18): 1723-1733