Donald Cohen Symbolic Execution of the Gist Specification Language. 17-20 1983 IJCAI db/conf/ijcai/ijcai83.html#Cohen83