1. Decidability of the Clark's completion semantics for monadic programs and queries. Issue 3 (16th December 2014) Authors: HAYKAZYAN, LEVON Journal: Theory and practice of logic programming Issue: Volume 15:Issue 3(2015) Page Start: 402 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗