Weak Godel's incompleteness property for some decidable versions of first order logic - Mohamed Khaled (2015)