M. Urchs, “Making use of logic”, LLP, vol. 6, no. 6, pp. 197–207, Nov. 1998.