Antje Strohmaier. A Complete Neural Network Algorithm for Horn-Sat. In Steffen Hölldobler, editor, Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Volume 19 of Applied Logic Series, pages 313-325, Kluwer, 2000.
Abstract is missing.