Tomasz Kowalski A Syntactic Proof of a Conjecture of Andrzej Wronski. 81-86 1994 28 Reports on Mathematical Logic http://www.iphils.uj.edu.pl/rml/rml-28/a-kow-28.htm db/journals/rml/rml28.html#Kowalski94