Gordon D. Plotkin 93 Inf. Comput. February/March 1988 76 2/3 db/journals/iandc/iandc76.html#Plotkin88