M. Moniri, M. Zaare
MathematicalLogicQuarterly,Volume 55, 177-184, 2009
Publication year: 2009