Expressive Power of Definite Clauses for Verifying Authenticity | IEEE Conference Publication | IEEE Xplore