A. J. Djalali, “Synthetic Logic”, LiLT, vol. 9, pp. 151–166, Jan. 2014.