1. Here and There with Arithmetic. Issue 6 (23rd November 2021) Authors: LIFSCHITZ, VLADIMIR Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 735 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗