Corin A. Gurr Specialising the Ground Representation in the Logic Programming Language Gödel. 124-140 1993 LOPSTR db/conf/lopstr/lopstr93.html#Gurr93