Jarmużek, T. and Pietruszczak, A. (2004) “Completeness of Minimal Positional Calculus”, Logic and Logical Philosophy, 13(13), pp. 147–162. doi: 10.12775/LLP.2004.009.