W. Stelzner, “Compatibility and relevance: Bolzano and Orlov”, LLP, vol. 10, no. 10, pp. 137–171, Jan. 2004.