Jarmużek, T.; Pietruszczak, A. Completeness of Minimal Positional Calculus. LLP 2004, 13, 147-162.